Pancho

The nickname has stuck. I am a little ashamed. But at least the only "Panchos" that I know of were great revolutionaries. Maybe it's a good luck pre birth nickname. It does sound better than "my little alien."