lava pigenavn fra Adventures Shark dreng og pige?

The Lava Girl fra filmen "Sharkboy and Lava Girl" hedder Lava Girl .

Der er ikke givet hende et specifikt fornavn i filmen.