@phillmv@hachyderm.io that sucks. My commiseration is that we did some renovations on our basement this year, and during the planning failed to notice our gas line would be in front of a new window. Cost to move the gas line about 2 ft higher on the house to get it out of the way: $4,000! I don’t even want gas anymore! But replacing the furnace and with a heat pump and capping the line would have been like $20-30k and we were already stretching our budget. Houses.