Can anyone give me the specs on a power supply for an Atari Jaguar or an acceptable replacement. I've got a box of assorted power supplies and I'm hoping I can find one that works. Thanks