I would not put good money after bad repairing a 17 year old unit. That said, $3,800 sounds very high for what should be very easy job to replace. If you are going to spend $3800 either put in a heatpump or a solar system - both will yield much lower operating costs.
Bookmarks