Dunno which provider she has, but I have a very old DirecTV receiver (as in, at least ten years old by now) and it has a timer function. I think it's called VCR Timer or something in the settings menu, but you can program it to do exactly what you want, i.e. switch to a certain channel at certain times. My receiver can't do recurring timers though--so someone at the home would have to set her listing up manually, every day.
