Yes, which is how they managed to trace and freeze a good portion, and will manage to trace and freeze another good portion.

Has your dogmatic maxipad head even considered that they didn't use Monero because it's a truckload of money and there is not enough liquidity, along with the fact that there are no good DEX tools for that amount of money?

As I always say, dogma makes people stupid.