I just banned him.
For some reason, I was first having trouble. I went to do the ban, and it said the name already existed. It seems as if someone tried to ban him, but didn't go through with the ban. So I ended up changing his user name. Then the ban went through. I banned his IP as well.