A friend of mine has a 4006tsw (series 1?) for sale with about 200 rounds of ammo, 50 rds are defensive hp rounds. 2 10 rd magazines. It is lightly used, with box and all originally supplied contents. Probably only a few hundred rounds shot, he is mainly a rifle shooter. He wants $750. That sounds high to me, but I do live in the past, when there was some kind of sanity involved in gun pricing. Is that a deal, just ok, or high? I mainly buy older guns, so this one has me puzzled.