I apparently had bought this coin and photographed it in 2017, only for me to recently discover it hidden in a drawer. Not much of a Washington collector, so figured I'd throw it up for sale. Link to eBay listing