Oh, and I missed it was a five-carat diamond, which really is unusual. But apparently a ring with a five-carat diamond currently retails for $100K-$120K (if https://www.iconicjewelry.com/how-much-does-a-5-carat-diamond-ring-cost/ is any evidence), so what one would get from a dealer would be much less, unless there is something else incredibly special about it.