Thanks for the info. I did not know that this is possible.
Is there a way to combine multiple Wasabi Wallets for Coinjoining or add a seed to an existing wallet? This way one could mix a bad bank wallet with a greater anonymity set. For example adding a Samourai Wallet to an existing (already mixed) wallet and using "red coin isolation".