Damn, it's now worth almost $550 million at the current price:
Were do you see millions? It's just 550 thousands / 13 BTC.
It's easy to laugh at people for their past mistakes, but how many of us Bitcoin users today have ignored Bitcoin in its early days? Probably a lot. Or how many of us didn't buy Ethereum @ $1 to sell it today for $1,200? The same goes for Apple, Tesla, Amazon and other stocks that have mooned. There's really not that much difference between not buying and selling or in this case destroying the key, all these action mean lack of belief in long-term performance.