¿Nombre de chicas de lava de Adventures Shark niño y niña?

La Chica Lava de la película "Sharkboy and Lava Girl" se llama Lava Girl .

No se le da un nombre específico en la película.