I’d love to have one but no place for one at my house.
The Mecum auctions generally have automobilia along with cars, and I’ve seen a bunch of gas pumps listed at their auctions.
The problem I see is that vintage pumps have gotten super expensive. I’ve seen that there are companies selling reproduction pumps now if your friend doesn’t have to have an original. Even those are over $1000.
My late grandfather had a store in rural Ohio and the store had 2 Sohio pumps in front of it. I’d like to get a 50s era Sohio pump someday in memory of my grandfather!