OK, here's my (temporary?) fix. Cleaned up the connection, stuffed a small amount of aluminum foil into the damaged pin socket (it wouldn't make a reliable connection otherwise), routed and taped down the cable and hot melt glued the plug in.
It turns on and seems to be a stable connection...