OK -- an update. Since it looks like I'm going to need to swap my 722k, I thought I'd back up the timers. Oddly, the system said that the remote appeared to be from a different system, and offered to restore things, which I didn't want, since the backup was from December. Might even have been...