Ah. Well, my point was that even if they do name the moon Vulcan (which I don't think they will, honestly) that doesn't prevent them from naming the hypothetical planet that as well - especially since very few people will be talking about that tiny moon of a body that isn't itself a planet.
