JMR40;I have one bought many several years ago used. Mine is the XTR. Other than some character marks from use it is as well made as any gun I own. No idea what they are selling for today, but I'd gladly pay $500 for another just like mine if they were asking that much.
My 9422 XTR flanked by a pair of Marlin 39's from the 1950's and 60's. The Winchester outshoots both Marlins and is a lot smoother operating.