Now see? We've moved the goalposts away from the original statement, that Mike would MAKE them quit using it. He might have a man to man with them, pointing out they've really done nothing to justify using a nickname, and let that soak in. But no, you don't outright ban it or forbid it.