Yes, he is banned. Recently I partially removed his ban so he could PM people, but clearly this was a mistake.