Does anyone have an idea on what one of these would go for? I know someone who wants $8,500 for one. It was imported by Navy arms of NJ in 1987. It was bought in 1989 for around $2,900. A Swavorski ZFM 10 power was also bought at the same time. The whole package is Gun, metal case, sights,3...