Thanks for the replies.

I just unplugged it then plugged it back in a few days ago and the problem has not come back yet. The dealer wanted $172 for this part, so I think my solution is good enough for now. What dealer is charging < $40? If they have a website I'll certanly buy from there.