The gunsmith called me yesterday and said he can have the gun functional again for about $100. I will have it repaired, but unfortunately he said to have the nickel plating removed and the original finish restored could cost up to $500. That's probably more than the gun is worth, so I'll just leave it like it is. Being able to shoot it is the main thing...