9,000 for 40HP ?? WOW. I looked at the site.. That's really expensive! There are more than a couple ways to skin a cat and get 40 HP. How about filters, cat back exhaust, high flow cats and Roe Racing Vec 2... That might save ya 5k or so..
I beleive you can go forced induction ( S/C ) for less and gain 3x as much. Paxton and the SRT work very nicely together, quiet, cool and very reliable.
Good LUck!
G