Yeah dude made off with tens of thousands of dollars in assets. EVE Online (had? still has? I dunno) a ingame currency exchange rate via "pilots license extensions" which can be purchased with real money and sold for ingame currency to other players. So with EVE you can actually calculate a dollar amount of what was taken, and it was pretty damn big.