Update: First of all thanks for all the replies. The news is – it's done! Recap: The HP pump was dripping wet then bone dry for 4 days then dripping wet randomly. So that's it, I thought, it's off the road. The first thing to do with a job like this is to have a holiday, so I did that...