If you believe a 2k6 with FOUR output transistors can do 3500 I don't see how it's so hard to believe that an amp with 16 of the same package size transistors can do a little over double the power. Even the 7kd has half as many outputs as the 40.1 does (as it is currently two of the 2k6 models in one case).