I know that’s a bummer of a coin and they’re not that rare but none have been on the market in 4 years. He can always upgrade and probably get his money back
Time will tell but I seriously doubt he’ll get close to his money back. Just makes no sense to me to get a tooled coin when it’s not even the last one needed especially when at other points paying over 300k for a merc.