Quick searches seem to suggest the processing is about $100 per ton with resulting materials worth several times that. Do you have any figures comparing mining vs recycling for these materials? And more interestingly, trends for those numbers? I imagine the recycling costs will improve due to increasing supply of input materials while the cost of mining will remain the same or even increase (as available resources shrink)?