I have cleaned the black marks off the wall that were caused by the leak. I have bought some of these dehumidifiers1 to hopefully dry the rest of the room out. You probably get what you pay for, it's way cheaper than buying a plug-in dehumidifier that I hopefully wouldn't need to use again. Will see how this goes.
I still have some DIY to do there. The tiles came up in one piece but the wood below them that was boxing the pipes inis probably too went to reuse. You can be sure that room will stay looking like that for a while, but we will see.
Paul Clarke's blog - I live in Hythe in the far South. Married + father to 2, I am a full-stack web engineer, and I do javascript / nodejs, some ruby, python, php ect ect. I like pubbing, running, eating, home automation and other diy jiggery-pokery, history, genealogy, Television, squirrels, pirates, lego, + TIME TRAVEL.