Well, he was able to transfer out 643.27 coins which was not worth that much at the time and certainly not the windfall that he was hoping for. True, that portion could not be rolled back. I wonder if he kept those or transferred them back to MtGox in the end. I bet he gave them back because he was a verified customer, not an anonymous hacker and I doubt he wanted to go to jail over a few thousand bucks.
They were worth $1000 only on MtGox at the time right after the crash. He says that their real value was probably closer to $10,000 once the price bounced back up.
