You are wrong that mixers do not work anymore. They are still working.

Yes, Coinjoin can also be used. Also converting bitcoin to monero and back to bitcoin will also work, but on decentralized exchange like Bisq, or he can go the easy way like https://exch.cx/