At cardio funk today, the instructor played this one song that was entirely in Spanish. It was fun, upbeat, but when I asked her about it, she said it was called Ave Maria. . . Like the carol, but not at all. I’ve been googling, but all I get is the Christmas song. Could I have heard wrong? Does anyone have an idea what this song could be?