On Thu, 05 Mar 2020 08:27:18 +0000, Stephen wrote:

I'm just not sure whether this was a warning that the pump
is on its way out and whether to replace that at the same time.

They do last multiple decades...


Thomas Prufer