they could also precision land explosive (like a ring of C4) onto the opening of a martian lava tube, then precision land an airlock onto the opening, the astro

they could also precision land explosive (like a ring of C4) onto the opening of a martian lava tube, then precision land an airlock onto the opening, the astronauts could look inside and find and plug any leaks inside the tube prior to adding atmosphere to it.