I had to remove crank front plug during cleanup from failing camshaft. The old plug had a nice smooth broad indentation from installation. It looked like the punch used to install was large maybe 3/4 inch or slightly larger. My question is what size and shape punch is used when installing the plug? My engine is a 0235 C series. An A & P is helping with engine rework but just want to make sure on this.