LedEngin makes some RGBW LED's (LZ4 series), with a cool white 5500k die along side R, G and B. Cree has at least one RGBW LED with the MC-E series as well.
I've tried them out but always found them rather limiting - in practice, you generally want quite a lot more power out of the white, and being in the same physical LED package as the RGB causes thermal issues. So usually an RGB LED is supplemented with a separate white LED, or (even better) just use discrete R, G, B and W LED's in the first place. The downside to that is it makes color mixing a pain in the ass.
Mike, that is a really cool room. Any details on what was done and how? I'm guessing the light is controllable in various ways?
Does it say "SNOG" on the back wall? LOL!