US gross gas output hits record in September: EIA