It might even be standard, actually. My 135i and all BMW's that had the 35i engine got HID's as a standard option. It's usually the lower end engines that you have to pay for that option, until now where LED headlights are an option over the HID's
We will learn everything very soon hopefully