Whoever got these wallets better sell them and get a good security company on rotation quickly before anyone find out who they are. Seems like wrench attacks been been happening a lot more the last year.
I don't really get these; there's not a ton of difference between using a wrench to threaten someone with a bunch of Bitcoin vs using a wrench to threaten someone with a bunch of any other liquid asset that could be used to buy bitcoins.