Thanks @FiremanT. That was conclusive. I will check on that notice.
Out of interest, if there was a leak on the supplier side (and I can see that this is very unlikely in this situation) who would pay for the kitchen floor tiles that would need to be damaged to get to this pipe?
why worry about that. That is not the case is it?
Chances are the existing pipe would be left as is and new would be cored through the wall. May even fit the gas meter outside.