Are these guys even serious about mining it themselves or are they just treading water to sell it off instead?