Thanks for looking and commenting, @bdmillergallery. An even trade like one of these:

for something like this, old US Silver Quarter Dollar:

seemed like a good deal, at the time. But today, it would have been $4.50, if one was available.