My friend who know I like to bake was raving about these cookies that his abuelita (grandma) used to make and he couldn't remember the name of them or what was in it other than Coca-Cola (I'm sure any cola would do) sugar, vanilla, and flour. I'd really like to make them for him, he just found out his wife is having their first child so I'd like to do something special. Does anyone know what it might be? I googled it and came up empty. If it helps it may be a Mexican or Spanish recipe.