[stownsen914]

Sorry you had this issue. Shops not practiced in dealing with 911 heads can damage them. There are a number of good shops the can properly service/repair Porsche heads. The local machine shop isn't necessarily one of them unfortunately.