Where does Vanadium come from? Is it an element that needs to be mined? How much does it cost - financially and ecologically to mine it. This is fascinating. Going on the hunt for more info.