I think you're overthinking it WAY too much. Are your players the kind to make fun of/joke about a lot of ingame stuff? If not, it's no problem. If they are, then they'll joke about whatever name you use anyway, so you may as well use this one. Use it, it's fine. And no one's going to confuse it...