He clearly calculated for 625 BTC (it divides evenly to the precise multi-million dollar amount) but had either a typo in his post or in the calculating.
I never calculated the actual potential amount, because I figured it would be depressing, but 9-figures would be beyond depressing.
I’m not sure what I actually paid because I bought it from a friend directly. It was somewhere around 100 BTC. Definitely a cautionary tale about backups and bad luck. But on the other hand, I’ve in whole been the recipient to more than my share of good fortune.