I went through the website and reached out to their local plumbers that way. I YouTube’d some things about the “double red blinking light” with the model number and everything. I’m kind of ok with attempting to fix it myself, but I’d be far more comfortable doing it if it were summer in case I botch it up big time. Idc about the cost really, I just don’t want a small, easily repairable issue to become a larger issue.

I’ll give them a call directly though and see if I can get someone on the line.