Repairing 7000-series plug-in sockets: Difference between revisions