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