Zum Vergleich: Das Kola-Bohrloch (1989) war mit 12.262 Metern das tiefste jemals gebohrte Loch auf der Erde.
Um ein Bohrloch dieses Ausmaßes auszuheben braucht es mindestens zwei Dinge, die den Prozess auf dem Mars unmöglich machen: etliche Tonnen schweres Equipment und unmengen an... Wasser (ironisch, nicht wahr?)