I suspect that the relay was sticking. Not sure why. It might be ok now. You can replace it if you want or wait to see if it continues to work. It looks like they're about $40 online, so not a big expense. I would probably replace it just to be sure.
Good job on getting it fixed.
Good job on getting it fixed.
