The dealer is full of it. You can pick the bulbs up a lot cheaper than that ($100-150) by purchasing from Europe (mainly Germany). It would be worth buying one in advance as the lead time for delivery is a few weeks if the dealer is charging that much.
Beware of the counterfeit product however so steer clear of the cheapest ones, generally anything like this that ships out of China/Hong Kong is a knockoff.
Bookmarks