I'm surprised that they made no mention of Mister Splashy Pants [0]. Greenpeace went through the exact same thing, but stuck with the funny name - which turned out to be a really good move.
Regarding the good move, from the wikipedia article linked above:
After their initial reluctance Greenpeace embraced the result of the popular vote and used the name at the center of its campaign. The added publicity, at no cost to Greenpeace, gave it enough impact to convince the Japanese government, and the plan to hunt Humpback whales was abandoned in December 2007
[0] https://en.wikipedia.org/wiki/Mister_Splashy_Pants
reply