No ~ just taking the p***, gently.

Seriously, was the leak the cause of the noise or is that another issue to be dealt with?
It was the distant sound of the header tank refilling, constantly, that alerted me as I am not in the habit of wandering the grounds at that time of the morning. Once I had shut off the water the noise ceased.