Hello, provided I have defined TV channels, i.e. "channels=56-RTE2,66-TV3,52-RTE1", how can I switch them?? I searched through documentation, through web, googled and tried to hit almost all the keys as well and couldn't figure out... Thanks, Oak