Does anybody have a used Kepco RAX12-125K or RKX12-125K 125 amp. power supply.