I have to replace a 5-15 plug end on a 10-gauge extension cord, which has a cable diameter, just shy of 0.6". It's a big cable and often is working itself out of the outlet, due to the weight of the cord. The grounding terminal broke off, and I suspect partially due to that behavior, esp. given...