The 4000 range is correct. Here's is a great article listed on the main page. It gives a great overview of how HID works and what makes the different colors. The bulbs used in the X5s create a perfect white light, but the projectors are what cause the blue edges near the edge of the light. Good read, I recommend it.
http://www.intellexual.net/hid.html