Yes, it was still making a horrendous racket after the DHW was turned off, until the pump stopped.
It can't have been sleight of hand or the guy telling porkies, surely, as I topped the water up myself so I know for sure that nothing else was changed while I wasn't looking.
The installer I...