Nice. Thanks for that. The pipes are quite perished so it only took about 10mins of fiddling to get the old ones off, taped up, and on again, but I suspect that new pipes will be a bit trickier!