I'd do it without a second thought, just to be clear.
You can ban as a global mod? Nice. Anyways, I figure a 1 day ban would be sufficient unless otherwise I suppose.(https://rmrk.net/proxy.php?request=http%3A%2F%2Fi.imgur.com%2Fd6jFw.jpg&hash=6706e0f6a2b2d76cc183f1fd73aa6f3953756c21)