Which converter boxes come with VCR timers? How do the timers work? It's my understanding that the timers will automatically change the channel at a set time. That's what I'm looking for.