IIRC the claim is that Musk’s dad’s share was worth 50 grand USD when he bought it. There are individual emeralds worth that much. It likely wasn’t much of a mine if it did exist. A tiny artisanal mine.