gas leakage during boring