Erm, that could well be about it, mine makes peak power at about 11200, on stock pipes it'd drop off sooner.
_________________
Please do not PM me technical questions, if you can't find it on the Forum start a thread