If you ask for opinions ,you will get them in droves . Problem is they are opinions from a lot of people who have opinions ,but not actual knowledge. Sites like this are full of well meaning people ,I mean them no disrespect but some of the advice is based on what others have said or what they "believe" . This is not the same as practical /actual knowledge. You must also bare in mind the differing practices of the trades in different countries..OK do you leave the pin in or out? Depends on the gun ,whether you want to do a good job or a quick cheap do up.In this case I would make a new pin to be fitted after re-colouring slightly over size so to allow for any movement and to ensure the action is tight when finished. Leave the old pin in for hardening then throw it away.
