1921-D Silver Morgan "12th Dollar Released" PCGS BU

I don't know which one it was but one of the known engraved coins was recovered from a dealers scrap silver bucket.

I note the esylum link lists the #12 coin as having been stolen from Julian Leidman but the PCGS coinfacts lists it as being in a private collection. It is Leidman who is doing the ebay auction. Was it recovered (I hadn't heard that his stolen coins were recovered.)

Also from the Esylum link we get the picture of the #4 coin, but its whereabouts are listed as unknown in the Coinfacts listing.