With the buyer's premium that still works out to a little under $13,000 USD. Pretty good deal.