I don't know the exact numbers, but it should not jam with reasonable clearances. You don't need extremely precision fit, those things are mass produced really cheap. You want it to be close so that it does not let the stuff in and so that you don't have to displace a lot of material.
But the displacement itself is not going to affect the seal, since it is not engaged when the tool is in use, so you have to rely on the ball fit.
Here is a video that shows repair using a punch
at around 3:30 mark you can see the result. It is pretty poorly done, but I can't find a better video. He made 5 marks and he really did not need 2 of them and the rest did not need to be so deep.
Also, for bigger stuff they sell pre-made assemblies that just screw in with the ball already in place. All you need is a tapped hole.