Keep things the way they are. If people are going to be whiny pussies in such instances as last night, they would have left eventually for some other reason. As you said, there's an ignore function.