You are correct, sold it before i got it tuned to some 17 yr old kid with extras for 8500. The 850whp and fastest car around was strictly a sales technique and worked pretty well as i sold the car within 2 days of the ad being put up. I stay in contact with the kid who bought it and supposively he swapped the 42r with a dual ball bearing gt30r and made 580 to the wheels hence my 580whp signature. Loved and put so much money into that car, had to take.some credit for it 
… dave at inline said the same thing as you though about the 42r not spooling untill aroung 9-10k lol