If there is life on Mars, it will be underground.

So if you can get 7km down without digging, that's the first place to look!