The first watches were sold in August as far as I know for 1BTC. That's a price of ~$11,500.
At current bitcoin price, 0.7BTC, that's approximately ~$16,450. I am unsure we can call that a "discount".
Good auction to all nevertheless !