Tag: what does tico mean in costa rica?