If I were in that position, as I understand it, I would probably have done the same thing - force the gun into battery and fire the chambered round. I would rather do that than try to carry a loaded gun around looking for a gunsmith who, as noted, would probably have done the same thing.
Jim
Jim