A whipple'd 3800 would make well north of 450~ WHP with the correct pulley size/cooling setup/tune.

Jobob made nearly 600WHP.

In a GA though?

LOL, yeah right.