When first released on the market in the U.S., you could buy nice specimens (not museum quality, but better than average of a "just a shooter") for $89-$99. Now, they are selling in the $250-$350 range.
These are an excellent shooter. I have four and all shoot very well. If you trade/buy it, buy the Redding dies - these are the ONLY dies made for the K31 chamber, which differs from the K11 chamber.
I use 284 Winchester brass after FL sizing them in the 7.5x55 Redding dies.
is an excellent source of information.
Ask for the serial number so that you can check the year of manufacture. The forend and stock, as well as all of the metal components, are serialized to your rifle.
Any other extras with it? Sling? Muzzle Cap? Cleaning kit? Bayonet?