The 9422 is one of my Favorite Searches on Gunbroker.com there are a few on there, but not going to be cheep.
Let me add your gonna pay for 9422 these days. I paid close to $600 for the last one I bought and I stole it at that price.
How about the Browning BL-22? They have a nice short throw lever and are easy on the eyes and shoot great.