So, I was playing around with some calculations, in particular air pressure calculations. If Mars has a very deep molten core, and given that it's pretty cold there, then it's arguable that you could dig to some really deep depths with boring machines. Pressure should increase as you go down...