I'll disagree on the -5v being needed, as -5v runs though the video slot, the Zorro slots, and the RGB connector.
I should have been more specific. It's not needed to be supplied by the PSU to the A4000. If you tell him he needs -5V from his ATX PSU that is wrong.
-5V on the A4000 is generated from -12V on the motherboard. So it is not needed to be supplied by the ATX PSU he has.