Ok the hook is welded up.. Now you're going to cut the precision radius with a file? This sounds like repair done on desert island as last resort with tools that washed up on the beach. Why not send the gun to a professional and get it done right?