 Yes, Roland, exactly. Lava tubes are formed by volcanic activity. There is a specific and well-known process where you have this lava flow and the upper part of the flow cools down and the lava flow below this sort of like roof that is forming continues to flow and at the end it leaves an hollow cave.