Anonymous ID: a637d6 April 1, 2019, 9:59 p.m. No.6014051 🗄️.is 🔗kun >>6013710 I've seen estimates as high as 25k tons. They buy a lot on the open market, plus they mine it in China and keep it there.