After 13 years of operation the Pinnacle 3/4 HP pump is making a loud screeching noise - I assume it is a ball bearing - and it is also leaking a bit. So I guess it is time to replace it. Endless Pools has a replacement pump that is a different model, as the one I have is no longer made, so I wonder if I should just get a pump on the internet. Any Endless Pool owners who did that? I