I was using a mini excavator in the front garden and cut the mains gas supply (website with gas location had it in the wrong place, but a disclaimer saying their info might be inaccurate - the engineer said it was probably moved when they changed the pipe to the new plastic sort).
1 Cadent engineer arrived at 10:00(approx) and said it was severed and he couldn't work on it alone. He sat waiting in his van for his colleagues; he left about 14:00.
2 Cadent engineers arrived (separate vans) at 12:00(approx) to fix the leak and left about 13:30.
The length of pipe was less than 1 metre, the pipe was already excavated 95% by me. They inserted replacement pipe from an offcut in their van and plastic-welded it together, checked the gas flowed to the house and left.
Does anyone have a recent cost that I could use to estimate with? Everything I've seen online is years old.