Today's update: The gun has returned from the repair shop.
The repair ticket states that the takedown pin was refitted. Ted attempted to remove the takedown pin without rotating it 90 degrees and it would not budge. That's a good sign. Ted removed the pin properly for inspection. The grooves are cut wider and much deeper into the pin now.
Here are pictures of the new pin and repair slip. Tomorrow we are planning to go put some rounds down range, and I'll report again after that.