They spent a good bit of time wire brushing the lugs and connectors along with crimping the connectors. Added some dielectric grease. They were not melted. As soon as he pulled the meter I mentioned "that doesn't look right." The connectors looked like they needed a cleaning. The house is 20+ years old and judging from the number of tags in the box, it was probably a rental at one point.
But I do agree, if it happens again, I will get the box replaced.
If something develops I update the thread.
Not to start something, but I try to close out my threads when asking for help. This way, for the next guy that comes searching, they have the whole story. I get frustrated on a few of the other forums I follow when someone asks for help, people chime in with suggestions, and the OP never comes back and updates with what resolved the issue.
The whole idea here is to share expertise and experience!