They hang around until the end of the season or until he gets banned unfortunately.
They have a yellow/red card points system I think and in some circumstances, a red card ban may not necessariily means that the player starts back at 0 points again. Think it is explained somewhere in the User Guide (can't log on while at work though).