10 BTC is around $25,000. Mixing 200 BTC means mixing $500,000. Do you need to mix half a million in one transaction?
Not me, I wish I had the kind of money problems in which I need to mix half a million dollars

I've read about 1000+ Bitcoins being mixed at once at BitMixer, so some people would use it.