how about OEM 4100k? phillips makes them.
you also have D1S bulbs- commonly found in audi/vw. you can also have several other varieties of OEM bulbs.
you lose.
edit: and you could be running phillips OEM colormatch bulbs at 5000k, to match a 4300/4100k bulb when one blows or gets damaged