Do we know whether he was permanently banned? I think we did see the like in Orange_Box, who did less and was banned faster.