That is not original. The hole was smaller with a grommet and the shaft was shorter with a dish on it. A screw driver or other item would have been put in the hole and pushed. Tokheim used this on many of their pumps. I have two 870s that are this way.

003 - Copy.JPG HPIM8927 - Copy.JPG

I likeShell [Linked Image from imagizer.imageshack.com]