There's a third option:
Lauda is banned in the same way as satoshi, such that it isn't possible to even log into the account anymore.
4th option, waiting for the mass ban countdown.
-snip-
- Promoting mixers in signatures, avatars, and profile-bios are not allowed.