That would be a 10 gal. I think that's a pretty good price. I've seen these start at $1400. Just want to be sure you have most of the parts there. You can find the glass cylinders out there to replace the cracked one. Looks like a nice pump. There are more experienced guys who can tell you more and what it would take to restore or clean up for display. If clean enough, you could leave in original condition. Good luck with it.

Ron