Anyone can ask any price. What are they selling for?
In my post
I did see some go for ~3k around that before this current mess thanks to Trump's ban on imported Russian guns but even at ~$3k still nuts IMHO.
But look at Dragunovs, $500 rifles before their import was banned back under Bush Sr., or was it Clinton?, that sell for ~$20k+ now.