[tigershark]

I don't think so. They would have lost ALL if the private key would have been compromised. In this case they even managed to block some transactions and recover quite a big chunk of money.