Damn. That’s crazy. I know that it’s comes up through magma and volcanic activity. But had no idea how much was in the core. And also how much that is i. the crust that will never be mined. Makes you think that the future for mining rare elements may really be in asteroids.