I assume you know this, but after watching one get replaced last year (someone else's, not mine) I realized how little labor is involved to R&R them. That convinced me there is little point to repairing units the age of what you and we have. For $1000 and <2 hours of labor you can get a brand new one and upgrade from 13,500 BTU to 15,000.