That is most likely a pretty classy gun. It can be fixed. It will not be cheap to fix most likely. Unless the guy wants to spend some money, he will probably want to sell it to someone who knows how and is willing to fix it.