Would you ever remove a pitcher during a no-hitter?