what is the appropriate punishment? I suggest one year of cleaning those toilets with a toothbrush..
as long as it is his personal, everyday, toothbrush.