Right on!
I don't understand why people go for the 8000k bulbs, unless they are going for the dimmer, super blue, glare look. Here is a link with some great info:
http://www.intellexual.net/hid.htm
OEM Xenon systems usually are in the 4100-4300k range. Sunlight is at 5250k. 6000k bulbs are...