I thought a ton of their coin (hundreds of millions USD) is still hidden because they mixed it well. But of course it’s hard to launder something that you can’t

I thought a ton of their coin (hundreds of millions USD) is still hidden because they mixed it well. But of course it’s hard to launder something that you can’t use to buy anything other than more traceable coins.