10:19 scanner ( georadar ? ) will be useful in unexpected geological enviroments.
10:8 drilling principle is usefu to any planet ( or asteroid ).
method ( plasma , diamond head , water stream , ... ) depends on situation.
mining methods from earth is good start.
9:50 tunnels made for universal use ( shelter , storage )...
drilling automat
SpaceApps is a NASA incubator innovation program.