Something to consider. The original top ejecting half cock safety Winchester M94 are pretty much history.
The few being made today are made in Japan by Miroku and the ones I've seen have all had 4 figure price tags. I had a few that I'd picked up as part payment in deals but they were all beaters. I put them on my table at a gun show and every one pulled down $450 or more with one going fo $600.
None were anything special.