I'd say those numbers are just right. A couple of years back, I dyno'd my '96 at TNT with 11,000 on it. Smoothies and K&Ns only and a hot motor, it made 413/449.
We have a club dyno day scheduled on Saturday. I'll see what 4700 more miles, an HMS airbox and a rear X-pipe have done for it.