It wluld be impossible for Trex to mine it without any mine shaft. Game of patients wait till they go bust or offer to buy it for peanuts. Trex has no choice to cede it for peanuts. As they have no money to dig that deep themselves.