After looking online for a solution, I watched a video illustrating how to change the timer. I then found the part number on the timer and ordered a replacement. Total time expended to remove the old timer and install the new one was 45 minutes, thus saving an expensive house call from an appliance repairman.