I don’t have a line on one but a potential tip on finding what you’re looking for would be to search for the Texas 9422.

I believe they were made in 22mag and 22lr, 16” and 20”. 500 of each of the 4 variations, for a total of 2000.

The CDNN “TEX” case-colored 9422’s were produced in 500 units EACH of 4 styles, “1TE***x” being the 20″ 22LR, “2TE***x” the 20″ 22Mag, “3TE***x” the Trapper 22lr, and finally “4TE***x” the Trapper 22Mag.

Here’s an expired GI link: https://www.gunsinternational.com/guns-for-sale-online/rifles/winchester-rifles—model-9422/winchester-9422-case-hardened-complete-set.cfm?gun_id=101688419  
that shows of a set of 4 – and they are nice ones!

Beautiful rifles btw and I’ll let you know if I hear of or see one.

Edit^ Steve Barnett fine guns site has one listed but is POR.