I don't know about Tyros, but in general European prices are usually much higher compared to USA. For example, Korg PA2X I could buy in USA for $3200, while in Germany it was same price in Euros, which is 50% more!

You should add to the calculation transportation / shipping costs, and customs & VAT in your country, and warranty is also valid only in country of purchase.