Thanks everyone for your input. with regards to what some think look like "kitchen lights" what should I look for to validate those "shades" are original?

I've seen some of those pumps going for closer to $3,500... what would be required for that higher value?

Thanks again!
Ryan