That's pretty interesting, TDI. According to this it's actually around 5600, but yeah - very interesting. The main point of that page and this one is that florescent lights have an interrupted spectrum, i.e. it's not simply a single color. The spectrum is spread over a further range than with other sources of light (i.e. combustion of a single type of material). So lol, then you start talking about "color rendering index" or "apparent color temperature." Oh fun! So much for florescent - no wonder the film and photography industry has so much trouble with it.
There's one marked as a 34XBR970 on eBay for $200 right now. Still spendy for my tastes, considering that CRT won't be the last word in color reproduction at home forever, and the stuff I use 'em for gets by just as well (and even better) on smaller 4:3 tubes.