Like you are talking about, I have no problem removing someone if they make the request but, they cannot join back later.
I would not allow them to "reinstitute" their prior record and post plays nor would they be allowed to start over. Its like requesting a permanent self ban from the thread.
I think that would be the only fair way to handle it.