nome das meninas lava de Adventures Shark menino e menina?

A Lava Girl do filme "Sharkboy and Lava Girl" se chama Lava Girl .

Não há um nome específico dado a ela no filme.