What your friend has is the model '94 "Antique Carbine", which was made from 1964-1983. It should have also had a gold saddlering also when new.
The high bluebook for these guns in 100% is $250. I have yet to see anyone get more than a couple hundred for one of these. I'd say your friend is a bit high, or his gun price is I mean.