This is terrible news. I have used this exchange in the past, but hopefully didn't have any balance.
Typically a Cold Storage wallet would be a paper wallet in a safe, I would think. If 7k BTC was stolen from it, perhaps it was an inside job or they had terrible security.