Thanks for the good advice. Thought it might be a polishing only job, but with the uncertain availability of parts a gunsmith is probably the best route. Combining a trigger job with this could throw the timing off and result in a slam fire or other unsafe condition.

"When you disarm the people, you commence to offend them and show that you distrust them either through cowardice or lack of confidence, and both of these opinions generate hatred." Niccolo Machiavelli