Those are definitely Cokes, and wearing the original finish.Looks like "cokes" stocks, could confirm for sure if we saw the rest of them, and would be correct for that gun.
I have no idea what a reasonable price would be. For me, I wouldn't buy it at 3 grand. At 2 I think I'd get it. Less than 2 and my card would be on the counter.
ok, give me time to change my clothes dand I'll run back into town.