To clarify, I assumed he's not talking about different brands nor about different designs (e.g. Model 12). Winchester used a ton of different model numbers on their most recent alloy-bodied pump gun - 1200, 2200, 1300, 120, 130 - depending on country and whether economy/deluxe. They also made guns for Sears, IIRC, and God knows what model numbers are on them. But these are the only Winchesters with the rotating bolt lockup in the barrel extension.
But your point is taken, I should have been more clear at the start.
Is there any other issue w.r.t. this that may still be unaddressed?