it's no story, it happened and there is proof.
but that is utterly not what this thread is about. he SPENT the 10,000 coins. he sent them to someone else, who still has them, or himself has spent them. you know, as one does with money. no loss occurred.
this thread is about bitcoins that are GONE. that cannot EVER be recovered by anyone under any conditions. formatted the hard drive and lost your wallet file with no backups, that kind of thing.