Amazing how nobody who reports on this puts forward any numbers. This Appalachian coal is said to have over 300ppm of rare earth oxides in it. That means for every ton of coal, we're talking about 300g of material. Compare conventional rare earth ores, where for every ton, we're talking about 90kg (Mountain Pass). It's nice and all that these things are in coal, but thermal coal's already on its way out, Appalachian…
https://www.tecoenergy.com/news/article/index.cfm?article=20...
So if you process it all and get high extraction, a couple million Kg of rare earths a year.
(I edited the last paragraph after spotting that I missed a factor in my initial math)