I had a similar problem, and they gas mostly went onto the exhaust manifold and burned off. Gas smell, but no visible gas residue. Just replace the pump and be done with it.
They aren’t expensive, and not that hard to replace. The only challenge is to get the pump lever up under the rod...