I'm a little confused here, he told you gasket matching would be expensive, but then offered to port them cheaper? Seriously, bring one by and I'll try to point you in the right direction, gasket matching isn't really that big of a deal, you can even do a mild port job yourself. If they were aftermarket heads, I'd say get somebody that's done them before, but you can clean up a set of stock heads pretty easy and save yourself some money.