[retiredguy123]

If this problem only occurred one time, why not test the system by turning the power off and on a few times to try to replicate the incident? It could have just been a one time occurance. If the timer works fine, there is no reason to replace it.