that's what I just saw on my system a few minutes ago. further, Speed and FX are not downmapped to the lower channel numbers, but if I scroll to the 9xxx channel numbers I see those above in red.
I'd love to get Speed in HD for better F1 coverage (right now I just watch on free apartment...