Yes, sorry, I wasn't sure at work. It's 20000 gallons, and rectangular (except for a semi-circle deep end), around 40' in length. For us, it seems huge.
Thanks all, for the replies on the Polaris longevity, alternate Polaris model, and the robot repair costs. Everything is still under debate at...