The hammer mounted firing pin uses a hollow rivet that is held in place by being flared on both sides of the hammer. Often when removing the hollow rivet, it is badly deformed, so it may be prudent to order a new rivet with the new firing pin.Has anybody done it? Is it simply driving out the old rivet and installing a new one?