Denso Starter Repair (terminal broke)

While taking the starter off to replace batter cables, the trigger wire terminal broke clean off from the starter solenoid. I’m well aware (and have a plunger & contact kit in my toolbox) that these starters are easily rebuildable. But should I junk this starter which was otherwise working fine, or try and fix it?

I pulled this starter from a late 90’s Dakota from a pull-a-part about 15 years ago.

BE123B51-6F88-4BAF-AA17-97F1BD6D80BB.jpeg

A53556C4-5C6D-40E7-BDD0-FEBDA67FCD0C.jpeg