Had to look.
That camera is $3600 at Amazon.
Amazing quality to those pictures though.
http://www.amazon.com/dp/B001G5ZTLS?tag=bp09b-20&camp=0&creative=0&linkCode=as4&creativeASIN=B001G5ZTLS&adid=18GQ54AHKDYN7KJGYB52
Googled it for $1200.00