Ah, thanks, that was pretty much the sort of thing I was looking for but I hadn't found it. I think I would still need a new hole in the wall though because I could see that replacing the existing pipe that twists and turns with PVC might be difficult, and drilling through 16" of millstone grit...