Didn't they say that 443 BTC was stolen? Isn't that around $200MM all by itself? Or did I miss a part of this?