Does anyone know how to get the cable channels in the vip222? The manual says just hook the cable up to the OTA input; i went into the HDTV setup guide and changed the tuner setting to "cable", but I can't figure out how to access them from the receiver.