Well, technically they broke the plumbing: someone handled the external outflow pipe in such a way that the (bodged*) connection inside the bathroom came loose.

*Looking at it, it has been slightly dripping for some time, as it wasn’t a proper join.

As it turns out, it’s actually going to save money: The Man (who, interestingly, is not The Boss; some sort of symbiotic experience vs admin thing going on between the two of them) was expecting to need to get a plumber in to lengthen the pipe outside the wall, but now that he’s disassembled bits of my bathroom he reckons that he can fix both problems by just adding a new length of pipe, and sealing it properly.

And fingers crossed he can reassemble everything without it looking a mess. He was being very careful of the paintwork etc.