I've tried in-character punishment, but the player doesn't seem to care.
I can see that the other players are annoyed, but no one ever says anything. And also, I have this personal rule, not to interfere with how my players play their characters. But maybe I have to change that...