In hindsight this was obviously the gas line. It's a rather long story but the gas company didn't mark it, and it appeared unconnected to the gas meter. We cut unintentionally; but cut it we did.