Got my eye on a winchester defender at local pawn shop. The barrel is marked "defender" but without a 1200 or a 1300. Does anyone know what model number this could be?