Thanks for taking the time to respond, Sam. That’s what I fear. It’s the pressure cut off valve and easily detaches with 2 screws. Replacement pumps are in the order of £250. Can’t find anything as yet on Google and I’ve sent queries to the top three hits for Jabsco spares. Haven’t found contact details for Jabsco, either.