Circuit Board Connector Pin Broke

It is more common to have multiple bent or broken pins and most of them do serve lamp sockets. So pin repair is more common and practical.
For the few wires that serve gauges... Threaded studs on the gauges provide alternative method.