David was very professional and courteous. The cost to repair was extremely high. No fault of David's. Folks said the gas valve replacement would be $580 or so with installation, then taxes. The cost would be around $625. The valve itself cost $100 at a retail price.