Instead of just sensationalization, it would be nice to have some scale for normal people not experienced in digging or tunneling... how deep do they normal dig to extract oil? What other things do we dig deeply for and how much (or less???) is this relative to that? Perhaps it’s implied, but this article doesn’t even…