I have a 12,000 gallon in ground pool. My 17 year old aquacal 100ahd heat pump has crapped out (compressor is toast) I live in central Florida and will only use it in the spring and fall basically. Does anyone have a recommendation for an electric heat pump that won’t cost $7k installed? I have a company coming Monday to assess it. Thanks for any advice you can offer.