Tried a few options and have the above option set to yes - that enables channel numbers in 1st info bar.Hi
im at work just now so not at my box but it should just be in one of the settings menu
once a finish work tonight ill have a look for you
top of my head try
Setup>Usage & GUI>OSD Settings>Show Channel Number = Yes