That is the highest F16 quote I ever saw for the US market.
Buying anything from the EU is a little spendy at the moment. The FXone went up in price $1500 from when I first started looking. Some of that will be shipping costs being more, but the bulk is the exchange rate.