Hmm, well you've all confirmed what I suspected. The leaking pipe is very minor and irritatingly not covered by the insurance until it actually causes a disaster! So, I think we'll crack on with the retiling when we've got some money in a couple of months, and get rid of all the old tiling as we...