Im almost certain he can get a new pin and reoair in himself or have a gunsmith do it for a few dollars.
Things break man, not much you can do about it except fix it and make sure its works reliable enough to where you trust it with your life and then youre good. It sounds like he uses the gun and thats a good thing. I cant stand it when a gun doesnt get used for fear of losing collectibility value!
Ask around here but id say call the manufacturer and see if theyll send you a new one or steer you in the direction of a repair facility close by if its more involed... good luck!