I don't want to be guy carrying the bad news. Don't shoot me! I'm just the messenger! But I also believe MtGox's coins had been depleted.
MtGox has a 1000 USD limit
or equivalent BTC, at 0.01 this means 100,000 btc can be withdraw at once.
By seeing the users file, I come to a conclusion that the attackers could use any number of those accounts, if not all, to trade and withdraw.
This is a snap of bitcoinmonitor during the attack, notice the last transactions leading to the 500K. Looks like the robber getting away with his heist.

Just hope I'm wrong...