How do I reset my Intermatic wall switch timer?

If CR2 battery went dead or if battery removed more than 1 minute, then time-date disappeared, but programming stays in timer indefinitely even if power is off.

To reset time-date. (From Section 5 in manual)
Press MODE until screen displays SET UP
> Press ON-OFF until HOUR shows ... use + key to change hour
> Press ON-OFF until MINute shows ... use + key to change minute
> Repeat same sequence for Year, Month, Day
> Press ON-OFF until DST daylight savings time ... use + key ... choose AUTO if area has DST ... choose MANual if areas does not have DST
> Press MODE to exit and save settings

Other programming steps are long.

Manual shows programming steps:
http://waterheatertimer.org/Intermatic-st01c.pdf
Walk through programming steps:
http://waterheatertimer.org/ST01C-program.html