Tokheim:
You can 'make' your own key if you want to mess around with it. It'll save you hauling the pump to your local locksmith.
Once you find a key that will insert into the lock itself, go to your locksmith shop and purchase 3-4 blanks of that key style.
Once home, 'paint' the keyed side of the key blank with an 'El Marko' or other type of permanent marker and insert the key into the slot. Wiggle the key as if you were turning it in the lockset a few times and remove the blank. Using a small triangular file, file down the areas where the marker has been scraped by the key indexes inside. Just take a little off and then re-mark those areas. Keep repeating these steps until you don't see any more witness marks on the key blank. Some areas will be shallow and some will be deep - but sooner or later you will get enough material removed for the key to work.
You might eat up a couple of key blanks getting it right - but it works and it'll save you the $20 -$30 charge at the Locksmiths.
Later . . .
Jim
------------------
www.T-waysGraphics.com