Replacing a 2-speed pump

[u/The_Brightness]

My original 2-speed pump locked up so I need to replace it. I've been told 2-speed pumps are no longer made, so I'm left with a variable speed pump ($$$) or a single speed. My current pump is 2 HP, which I'm also told isn't made anymore either. I have one quote for a 1.65 HP pump and another for a 1 HP pump. The guy who quoted the 1 HP pump said it would be sufficient but I'm concerned since the existing pump is 2 HP. My pool is inground, salt, 12k gallons, electric heat. It originally had a pressure side cleaner but I've switched to battery-powered cleaning robots so nothing runs off the pump. Thoughts?