I'm glad to hear that price sounds high, there is a couple high rated (by Google) that service pools in my area, I'll ask them to quote.
If the price is way off, it may be time for a new pool manager as well...
I was hoping that it was a DIY project, but I'm not interested in digging into the...