I remember the server announcement saying it was a permaban, but an experience I had yesterday made me doubt that it worked... A guy came on to my server with an altered spelling of one of my friend's name. Of course I assumed it was him, so I made him admin and gave him trust. The idiot destroyed my unsaved build, banned a random guy on my server, and then fled. The announcement said the guy was permabanned, but I talked to him on another server and he was only banned for a minute. Odd, yes?
Oh, and I don't have any names on that ban list you spoke of, Space Guy.