If you're comfortable soldering, you could easily replace one pin. Hot enough and it should just slide thru the plastic in the connector. Pins are dirt cheap online, they come in strips and you cut to width. If you do not solder, a friend could do it for you if you know someone. It would be a 2 minute job.
Or live with it. Personally I'd repair it, but also it is good to be aware that you can damage a multi-layer PCB if you pump too much heat into it.