re the OP
According to sunny design, there's little to choose between the 3000TL and 4000TL, because the 3000TL will be performing closer to it's optimum efficiency point more of the time than the 4000TL and this largely offsets any limiting of output from a standard 4kWp system.
There is a problem with Sunny Design and sanyo's though as for some reason it doesn't (or at least it didn't) take account of the 1/3 lower reduction in high temperature output of the Sanyo's vs standard panels. In it's calculations it's still working on the basis of 0.45% reduction in output per degree of increased panel operating temperature over the STC temp of 25 degrees that the panels are rated at.
The Sanyo's only have 0.3% reduction in output per degree, so in full sunlight when the panels are something like 50-60 degrees, the output from the Sanyos will be around 4.5% higher than standard panels or in 1000W/m2 of sunlight would be 3494W DC input vs 3321W DC input for standard crystaline panels. The additional 170 odd watts of input power from the sanyo's in full sunlight would essentially be lost via the inverter limiting, which effectively negates the advantage the Sanyo's would usually offer in high temperature performance.
I raised this as an issue with SMA last year, but don't think they've resolved it, which is really annoying given that Sunny Design already has all the data incorporated within it that would be needed to make these calculations for the temperature performance.