It just looks like there is a lot of slop between the bolt and the bore is sits in. I could not find any dimensions to verify so I assumed the bolt / bore or both were worn. The trip pin and/or its bore are very worn. As mentioned I should be able to turn one of those out. Any recommendations on how many thou of clearance to shoot for between the trip pin and bore?