I was just wondering if anyone had a ballpark figure on how much it would cost to take in the stock heads and just get them ported? Is this a good idea? Better idea to just buy a set of aftermarket heads? Followed up by a tune, of course. But just the cost of the porting.