Today I managed to puncture a 22mm gas pipe, dead centre with a picture hook nail. Obviously therefore only a very small hole. Having phoned the emergency number, and then got a registered gas safe engineer from their list of contacts, I'm rather surprised at the repair. This appears to be just sold...