Need prod hammer measurements

I need the diameter of the prod hammer if anyone has one. I think mine is a bit out of spec so cocking it is really rough. It goes away if I apply some silicone grease on the bottom of the hammer but it does not last long. I got 18.72 mm. Thanks !