@kdfrawg This is much simpler — just a leak from a cistern on one of the toilets. It’s an old plastic cistern, so we’ll probably get it replaced, but apart from assembling the bits, it’s not a big job.