You know what?...this is about every single System 9 pinball supply!
Any way you slice it, you're going to need to learn some repinning for the harness connectors.
If it were me, I would probably just repair the original, but my advice to you is to just go ahead with buying the new supply and fix the old one for a spare. A new supply will give you long term reliability and get you up and playing quickly. Then in your free time go back and fix the old one, which at least needs headers, 5V filter cap and fuse clips replaced. See the section on GI repair and connectors at this link:
http://techniek.flipperwinkel.nl/wms11/index1.html