The first gas pump he found happens to be his favorite. The 1952 Harvey pump needed some body work and a globe – a circular, interchangeable piece on old pumps that held the name brand of gasoline.