He already is banned. Even though he is still actively mining he is admin locked out of his account. We just need to figure out how to correct this round for all of us without detrimental side effects to the round.