Hello. Fitted core plug in ok. Cleaned up inside of bad pump housing where core plug fits. Reduced diameter of core plug with emery. Takes a bit of time to do making sure it stays round with no flat spots. Tried into vacuum pump to ensure good fit. Smeared in sealant and tapped in. Plug cost 50...