Someone is selling one of these on GunBroker, supposedly only 15 ever made it to the USA. Starting bid is $75k, although I've heard the last one to surface went for $134k. Could be interesting to see what it ends up going for.

http://www.gunbroker.com/item/652031606