The gas company, though, apparently noted there was a “minuscule leak” of 0.33% gas in air — which the office…