Please send me an IM if he's interested in selling it. I've wanted one for years and finally decided to "pull the trigger."
You might check gunbroker.com to find comparable models. Please consider the fact that a lot of gunbroker auctions are overpriced the sellers (dealers) just list the guns over and over again in the hopes that they'll sell.
From what I've seen, most of the common commercial and military models with matching numbers sell for around $750-$1500, depending upon the condition and whether they come with papers, holster, etc. Rare ones or really mint condition models can be considerably higher.