Comment by Joof

Maybe, but lava tubes are also really boring. Can see we do the karst stuff on Mars?