I completely understand his desire to find that pump.
I asked for the pump on my grandparents dairy farm years in advance.
By that time my Uncle owned the farm, so I told him if he ever changed it that I would like to have it. Nothing special to anyone but me.
The first gas pump I ever operated @ 7 yrs old. It still has the embossed Gasboy dry hose nozzle.
Face by Mrs. Hubert and hose from the House of Scobie.