No, I vote they *change* it to be just an unpronounceable symbol. You know, kind of like the artist formerly known as Prince. It's a lot harder to complain about a name change if it's not a name!