"Gasket match" port job is generally cheap and could actually be done yourself. But I'd check with the shop. If they'll do it for a hundred or two it's well worth the investment.
I was planning on doing a gasket match and clean up myself, but I’ll ask the machinist what he thinks and what he’ll charge. As much as I want to do it myself, If it’s a wash price wise after purchasing equipment, he might as well do it.