[kkingston57]

Agree on getting other contractors out to see if it can be repaired. Longevity can differ a lot, depending on your usage, temperature settings and how often it is used. Almost 10 years is probably the low end of expected life span.