At a LGS, I ran across something I'd not seen before, a Remington pump rifle in 223. It had a 4-digit model number something like 7516 (may well be mis-remembering that!). Lightweight, obviously something fairly newish, had a kinda cheesy black plastic ejection port cover that the pump action worked. Anyone heard of these or could point me to any info on them?