I would replace the Header pins on the board, the connector looks fine, however if you want to replace the connector later you can.
Although they are currently out of stock this is the replacement for your header pins. You just cut it to the length you need, in this case 9.
https://www.greatplainselectronics.com/proddetail.asp?prod=26-48-1245