This is a question and it is not meant as an argument one way or the other, but has anyone looked at how much it would cost to change the name?
I worked for an organization that changed its name, it was a company of about 1000 employees, the name changed cost around $1.2 million.
It would be an interesting number for sure.