Yes, you probably get some of your garbled information from Frank Tico. They called him Tico, but then when you figure out that "tico" is actually a local slang for a Costa Rican, then you realize that Tico is also a foreigner, in a different way than we are, so that won't really resolve anything very well.