Many thanks. I did think about auction but my concern is that the commission, et cetera will exceed the numismatic  premium so that I would end up with a net out of pocket compared to redeeming 🥴

I think realistically it would have to be a private sale to an existing BTC holder so that we don’t have to deal with cash or commissions!