You should know to not look at peak horsepower only. The reworked turbo spools a little later but holds the power almost to redline, where as the stock turbo will fall flat at 5500, which we all know. How much do your tuners charge an hour?
$100 an hour. Worth it though. Tim is a genius, he started pdx tuning years ago and basically made it what it is today