Если те типы, которые Землю использовали в качестве карьера, умели летать между звёздами, то могли бы научиться и добывать прям из больших кусков коры, как в фильмах бывает.
Более того, если предположить отсутствие методов радикального удешевления межзвездных перелетов, то чисто экономически становится выгоднее вырабатывать даже очень глубокие пласты на месте, чем куда-то лететь.
Так же, если продолжительность жизни представителей такой другой цивилизации отличается от нашей не на несколько порядков, то опять же экономически(исходя из того, что экономика как рыночные отношения у них относительно похожа на нашу) столь большие предприятия почти невозможны, потому как выгодоприобретение отсрочено на очень много поколений.