As you can see, the Cinema modes, Reference and User all have starting color temperatures near the 6500K ideal.
The other three modes, are cooler, with Bright and Graphics "way cool" around 9000K. (If green is in balance even 9K can be watchable, but reds are way down, and therefore still not good color.
Mike also came up with another way of looking at the data. Here he measured the Bright mode, but for each of the different available color temps including what they call D93 (9300K). You can see that the native lamp temp is very cool, and as you lower the color temp, to achieve colors in the proper 6500K range, lumens drop off.