According to the Blue Book, the pistol is worth around $1,000 if it is truly NIB. But, that is only a guideline, he may be able to get more for it - it's the old supply and demand thing.
Browsing through www.gunsamerica.com , it looks like some are going for around a thousand and some for a few hundred more than that.
Usually most gun dealers are not going to give you 100% of the blue book value. if you went to a gun dealer and said I want to sell it you might get $700 to $900 for it depending on if he has a market for it. You will probably come closer to getting 100% of the book value by selling it to an individual.