The price mentioned in my link above says it includes German VAT (Value Added Tax), but that retailer says they do not add VAT to shipments abroad. Therefore, you can subtract 19% from the price, which brings it down to about $660 USD.
BUT what would the price be in the US after markups OR what would shipping from Europe cost? Anyway, I've found that for many products, early price estimates tend to be overly rosy.