"The Bitomat service is now up for sale for 17,000 Bitcoins to help recover the cost of the missing coins and return them to their owners. At a current conservative market estimate of near $13 per BTC that would put the sale price of the exchange as exceeding $221k."
so yes. it's exactly like your 600,000 hilton points. exactly the same thing
And so how much did he wipe off of the value of the bitcoin market on Monday?