Gas Leak

 

Gas Leak

Should I be worried that the guys fixing the gas leak are plumbers? It's all pipes, right?