That is a nice set..seems a lot of nice Repro’s have been offered-up the past few mos. For instance, here’s a 20/16 that’s available right now, with double triggers no less.
https://www.gunbroker.com/item/834751387
..a little surprised it hasn’t sold.