What are the signs that I may need a gas line repair?