not quite sure how much 16k tons of tungsten is worth .let’s say a lot. Oh and you forgot the 996 tons of tin at about 36 million dollars