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.