trex mining