No, the Commanders do not have to change their name
How Much Do NFL Mascots Make?
Washington Commanders release 2023 schedule
The Washington Football Team Has Rebranded as the Commanders - The New York Times
Commanders unveil new pig mascot named 'Major Tuddy' despite of threats of a suit from ex-players
Washington Football Team announces 'Commanders' as its new name - The Washington Post
When will Washington Football Team pick a new name? Search has narrowed to these 7 options
Commanders Unveil New Mascot, 'Major Tuddy' – NBC4 Washington
Change the Mascot backs Washington football team name change
Fanmats Washington Commanders Mascot Mat - Helmet