Videonics video mixer/switcher power supply

Videonics video editing switchers are pretty common but their power supplies are also commonly lost. The connector is a standard 6 pin DIN type and here is the pinout:

Pins 1 and 4: +5vdc (probably regulated) 4.5 amps

Pins 2 and 5: ground

Pin 3: +10vdc 0.4 amp

Pin 6: -10vdc 0.4 amp

I haven’t looked inside the switcher to see if it needs the +/-10v to be regulated voltages. My guess is the +5 needs to be. If I had to homebrew a power solution for one of these I’d probably start with a PC power supply and run the +/- 12 rails through buck converters or LM7810 + LM7910 regulators (my guess is that the load on these channels is pretty minimal).