I've managed to tune in my Openbox S9 so that it gets all the channels that I want.. (and then some) and I've edited them into favourites.. but the scan shows a bunch of optional channels for BBC red button... many of which were specifically dedicated to the Olympic coverage. The NFL has signed a deal that allows the BBC to air Monday Night Football and it is showing the games on it's BBC Sports Channel, which is a red button channel.... and, of course, the games don't come on until 1:30 am.. so I want to set a timer.. but can't do it without knowing the actual channel number. I tried it last week and got a nice four hour recording of some F1 racing...but no football. Is there one particular number that would correspond to the usual channel that BBC sports would use for it's red button channel? Thanks for the help.