 MISC: It makes no sense that magma would drip from above into the  lava tube. Elsewhere on the same level, they find a magma chamber  that is rising. The magma would spread into the tunnels, including  the lava tube, before it could get into an area above the lava tube.  The lava tube would have been filled with magma before any other  magma could break through the ceiling into it.