They should run with it, the positive PR now and in the future when the RSS Boaty McBoatface docks would be worth it. It would also show a sense of humour and make it something fun.
I'm from Gothenburg, Sweden, which is a city known for its bad puns and where most larger buildings are usually referred to by silly nicknames. Last year, there was a competition to name the new swimming pool by the harbor which they put there to keep people from swimming in the rather filthy water of the nearby river. As expected, most of the names which received a lot of votes were silly puns and, you know what? Th…
Is it a slang term of some kind?