Does anyone know, where the name / nickname "Tico" comes from? All I know is that it's a nickname for Costa Ricans. But Tico Torres has Cuban origins...so I was wondering if anyone here knows why Hector Torres became "Tico".

Thanks