I just googled and Lola is short for Dolores. Also Lolita. Other forms: Dalores, Delora, Delores, Deloria, Deloris, Dolorcita, Dolorcitas, Dolorita, Doloritas, Lola and Lolita.
Perhaps her surname could be one of these names and her first name something entirely different (but longer)?