Well, I don't see him as banned yet, but you may be right.
He was way too obvious about his cheating. That's why we have rules.
For the record, you'll never see a team marked as "Banned." Only GMs can see it. Why that is, I have no idea, because I feel like people think we don't do anything about their cheater reports, but whatev.