No, Just ground thru where the pushrod used to be. I grind the wall back so the pushrod bump is gone in the port. Then duct tape the inside of the port, stand it up, and fill the back side in with JB Weld. Since it's thicker on the outside of the head than the slot in the port the epoxy is in a...