[phormula]

bitcoins were not stolen from a local wallet, rather they were withdrawn from his mtgox account to the thief's address.

[jacquesm]

Ah, yes of course a mtgox balance would be at risk as well. I'd definitely check to see if my wallet had not been ripped as well.