HID headlights are missing in Europe

It would probably be quite expensive if it's available at all - in addition to the actual bulbs themselves, there's a completely different bulb-mounting/adjustment system inside the fixture, the light's self-leveling mechanism that hooks into the computer, and the high voltage transformer (and the bulbs).

I'd think it would be at least a few thousand US for the parts, not to mention a tricky installation.

Just going by what I read in the maintenance manual.

Dave