Has anyone contacted the German VW dealer that a bunch of us purchased genuine LEDs from some time back? I paid around $700 for mine a few years back; depending on the exchange rate and other factors he could still be quite price-competitive.

See here for details.