Lots of great, older, Winchester pumps available. Unfortunate you are not considering the Remington 572, I've yet to find a bad one, they are accurate and reliable, with shorts, longs and lr's.
The older Remingtons tend to be a bit more accurate than the Winchesters.