Pricing restored gas pumps is always going to be tough due to the fact that the sales prices vary drastically depending on quality of the restoration, company it was restored to, and if the seller has access to a venue that will reach the limited number of people who want a restored pump. Generally speaking, it is much harder to sell a restored pump than a good unrestored one. As such, when I value restored pumps, I usually give them the same value as a good, unmolested original. Using that logic, my opinion is that your pump is worth about 2k. Others may disagree, but that’s my experience.