Wildbill.
I'm glad it worked out for you. I much prefer to bend the pin than file on the plates. Those steel pins are tough to bend. To bend the pin, I put it in a vise to about the place I want the bend, protecting the finish from the vise's teeth with a bit of thin hard plastic, and strike the top of the pin with a fairly heavy soft hammer. I bend a little at a time until it will almost go through the inner plate. Then I tap it through. I have done several for friends this way, and have never heard of one falling out.

I can't remember if I had to bend my Deerstalker pin, but when I got my now almost 40 year old TC Hawkin flintlock, it came from the factory with a slight bend in the brass pin. It was bent enough that I had to tap it in and out.