Product review (5 stars): Five Stars
Repairman wanted to charge me $256 to replace the timer!  I did it myself with this $62 replacement.