Setro's not the kind of guy who just quietly leaves after making a dumb banter like he did. I don't know if posting this is worth it, but if I were you, I'd ban him from your server just in case he decides to go around spamming and trolling servers if his key isn't already deactivated. Better safe than sorry, here's all of setro's associated IDs:
34992
42166
43991
48103