??Distributor shaft depth in oil pump drive??

See it now. Wonder if the FSM has specs on how high? I would think it would be bottomed out in there.
I wonder if the installer just smashed the face of the bushing? Installed it with a sledge hammer!?!?!