After completing the TiVo setup, my TiVo remote controls everything (TV power, volume and mute) with the exception of channel up and down. When I go to Remote Control Setup and choose "Part 1: TV power, volume, and mute" to select the brand of my TV set from the list, Samsung is not one of the TV brands in the list. How do I setup the TIVO remote for channel up and down for a Samsung TV? Thanks in advance.