If you were to pay the full price then yes, a little high. I just posted this to watch and see what they really sell for.
I own 2 of their 172 watt models that I bought on Ebay for an average price of $325.00 each, new.
They are excellent lamps. All Osram...