I'd be really happy to get it @ $3K.
The air pump generally sells for about $500., give or take. The extinguisher I have no idea, go figure, I'm a member of the fire brigade and we have a small museum.
I want to try to make him an offer on a few items, hoping to get a better deal overall.
Please let me know about that gas pump, I'm not buying it for resale.
And no the globes and the glass cylinders are not original, they are re-pro I think.