This rifle http://www.gunsinternational.com/Holland...un_id=100360386 here was for sale at a company called http://www.collectorsfirearms.com/
Price at Collectors firearms was USD9500 last time I corrosponded with them before christmas 2012.

The world today is just too small to pull a stunt like this. Just about everybody who has internet and have interest keeps them selfs updated.