I'm convinced.
As I look at pumps for sale on Craigs & Facebook groups, It would seem prices are for the paint job. Lots of $500 pumps asking up to $2k.
I like a nice paint job, but wow!
Not picking sides since I like restored & unrestored. Just an observation.