They did indeed make alot of them, I got one last summer in new/unfired condition with the box and sleeve, (sleeves a little ratty), off a local guy for 300$. I checked them out on Gunbroker, and found a few selling for 600-700$. I understand since their closing, Winchesters seem to be selling for ridiculous amounts currently. If he's thinking of unloading it, now might be the best time ever.