Genuine Philips 85122 (D2S):
I posted in TiagX5's thread about these as well, the guy who runs this shop has a father with aviation contracts with Philips, so he buys pallets of Genuine bulbs from them direct at wholesale pricing.
Philips D2S (85122) - HIDbulbsRus
For 74 shipped, they are going to be the best OE bulbs you can buy, you WILL notice a difference after almost 9 years in the brightness of new xenon bulbs. Your other options are GE 53500 bulbs, or Osram 66240 bulbs, but those are actually a couple bucks more than Philips, and rated at same 4300k color temp and 3200 lumens.