Unless there is some wobble when you push in the distributor, it
should not be affecting an oil leak.
When a new o-ring doesn't seal, some people take the red high-temp gasket sealer, and apply it with their finger into and
around the rubber o-ring.-Bob