eBay wouldn't be an option; shipping would be too expensive. They don't bother minting coins, the last time in October 2021, but not at all because they were useless within a few weeks.