Well some time ago I figured out there was still millions in tokens in their erc20 wallet. They did not move them. So the loss of the keys could be true.

https://etherscan.io/address/0x3c11c3025ce387d76c2eddf1493ec55a8cc2a0f7

no moves since then