a

jclovescoins

b

spyglassdesign

.

jclovescoins

For anyone interested -
so many recent US Mint listings makes these things hard to look up and price compare. This is a proof, type 1 set. You should search accordingly or look for 21EF which was the Mint product number if you are doing a price search. Based on my search on 8/9/22, the following results:

the cheapest type 1 proof set on eBay is $6000.

This is the cheapest one on eBay: https://www.ebay.com/itm/284216076042?hash=item422c99270a:g:-CoAAOSw5DpgSliQ

And here is the most recent completed:
https://www.ebay.com/itm/325182244398?hash=item4bb65f462e:g:8YoAAOSwQ6lieTpv

I know this is a good price, so price is firm

jclovescoins

Still available. Will give it another day before trying elsewhere