Dyno numbers, speculation and all the other stuff doesn't mean squat. Numbers at the track is all that matters. At 3200lbs, it takes roughly 575 rwhp to run 135mph in average weather conditions. If you want to figure 20% driveline loss, that would put the HP number at roughly 690. Can't remember exactly how big his motor is, but that puts HP in at roughly 1.35 per cube or so. Easily attainable with decent parts.