Since you're so sure about your case, mind to list the non-spendable address(es)?

I'm not saying this isn't what might have happened, but we all know that suspicions and thoughts aren't valid as evidence. Binance isn't perfect, but I'm sure they wouldn't refer to the +7000BTC withdrawal as theft if it was just an internal mistake that lead to the funds become unusable. They could just say it was a withdrawal request from a wide range of traders that has been processed manually.

Losing +7000BTC is the worst form of marketing there is, but they still were seemingly honest and open about it.