My pump died. It was pretty old, the casing on the back has rusted out, it was LOUD etc. We tried fixing it, cleaned, lubed, replaced some seals. I got another few hours out of it, but in the end, the lack of maintenance from the previous owners and the pump not being used for over a year was...