shore cable sockets burned, what should I do?

[vpbarkley]

We have 30 amp, twist lock, shore power cables. The sockets of both cables are burned where one prong enters each socket. See photos. I suspect this damage may have been the result of a lightning strike.

Everything works correctly. The power inlets on the hull show no signs of damage. The plugs at the other end of the cables show no signs of damage. I’m trying to figure out what I should do.

1. Does anything need to be done?
2. Should I replace just the sockets on the cables?
3. Do the complete cables need to be replaced?

Thanks for your input.