But they did.
Superstition has it that to change a boat's name invites bad luck, the logical explanation is that the ship's name was carved into the keel, so to change the name would entail cutting out the old name and carving a new one, all of which might weaken the keel.
In this case I'd take the risk either way.
Also See Part 1
The Jester Dinghy: The Known and the Unknown
2 hours ago