Это провал: дыры на Марсе могут быть большими ямами, а не входами в пещеры

Если там нет прохода в лавовые трубки, то они плохо подойдут для укрытия людей...