And iirc, the overall dollar value of that "less than 1 emerald mine" was barely in mid-high 5 figures. Of course, not adjusted for dollar value at the time, but that adjustment wouldn't balloon it up to 10 times that in 2022 dollars.