it would be helpful if there were a way to provide a nickname for the favorite channels I watch so they can quickly be selected without hitting so many number keys. selecting channel 4 does not work because there are too many 4-x other channels, etc. i'd like to create nicknames for the few...