I had the head milled today to take care of warpage, took off .008". Will this affect the head gasket notches? It had a 2 knotch and the machinist didn't think I'd need to change from that.