Comment by excalibur

Likely, but the ice-mining scheme will be much easier to pull off, and will therefore be possible sooner, and is therefore more likely to be the primary means by which these resources are exploited.