Hello Ian, the gas pipe concerned is a 15mm copper going through a single brick wall below a wooden floor. Not sure when the pipe was put in but it must have been some years ago, its certainly above 12 years old. So I presume we are under no obligation to sleeve the pipe. I know its a good idea...