I was afraid of that, but it has been a long time since I had one of those apart. So, the only choice would appear to be to drill out the pin. Unless you have or can find a drill press or a milling machine, I think it is gunsmith time.
Maybe a smith with the gun in hand can figure out another way to do the job, but I think drilling out that pin is likely the best way to go.
Jim
Maybe a smith with the gun in hand can figure out another way to do the job, but I think drilling out that pin is likely the best way to go.
Jim