Used and tested Astron RS-5A power supply.  13.8V at 5 amps.  It has been tested under load and delivers at least 4 amps at 13.8 volts.  Cosmetically it shows definite signs of use, with scratches, but still strong on performance.