Anybody have a good guess or estimate on the total amount of ghostrock mined in the U.S. in an average year, in pounds? Thanks, Everett