I once had someone message me about using the screen-name EvilTheBadger in a chat program, since I was already using it. On one hand I was annoyed someone was trying to invade my turf, but on the other I was fascinated how anyone would come up with the same ridiculously obscure nick! If it can happen to "EvilTheBadger" then I'm not at all suprised it could happen to "Carlos" in a game with multiple Spanish influenced factions.