+1 on 5D3 getting the red.
I don't think Canon will 'premiumize' this and withhold it from the 5D3. It's a clear miss on a pro body, and people will clearly not pay 2x the 5D3 price to get red AF points. I'm confident this will be rolled out to 5D3 as well.
My only fear is that they haven't released it at the same time because the difference in the extra processor for 1DX allows for recalculating exposures with the red AF point. Hoping someone with more technical knowledge can allay my fears.
I don't think that's an issue as the metering still takes place with the AF points off:
To preserve exposure-metering accuracy, illumination is intermittent, not continuous.
5D3, 5D2, G5X, G16 | SY14/2.8, V20/3.5, 28/2.8 IS, Ʃ35/1.4, 50/1.8, 50/1.8 STM, Ʃ50/1.4 EX, 100/2.8L IS Macro, 16-35/4L IS, 24-105/4L IS, 70-200/2.8L IS II, 1.4x II, 2.0x III, T28-300 VC PZD, 70-300L IS, Ʃ150-600 OS HSM S