tico is a funny  name