One other thing, if you aren't in a hurry, Maytronics usually does a rebate in the May/June timeframe. I think last year it was $75. This is last year's:
https://maytronicsus.com/why-dolphin/blog/dolphin-aving/
We built our pool 3 years ago and after reading on this board we told our builder...