Is anyone conducting an investigation into the addresses related to this whole fiasco, to try and uncover where all the missing funds went?
Yes, that would be of interest to me in this case too.
13% of 13,000 BTC would be worth: 1690 BTC at $410 per is a cool
$629,000...
If the story is true, then the hackers likely have sent the BTC to all sorts of addresses worldwide, mixed-the-hell out of the coins, spent some, changed them into alts, etc., etc.
"Three gets you five" those coins are gone forever.