I just went to the settings screen to add a few favorite channels, but it only lets me see channels 1-92 on my TivoHD connected with 2 cable cards to FIOS, Wash, DC. In the normal guide I can see all the favorites, even the 800's which are HD channels. If I switch the guide view to see it all I do see it all. Channels 1 to 900something all show up fine. Any idea why it won't let me pick them in the channel list settings menu? Any suggestion for a fix? Would re-downloading the channel list help?