Reliable replacement power supply for Radias?!

My korg radias PSU just blew (literally). I shopped around and found that replacements are a little hard to come by. The one I found seemed to be an updated version (same specs, but slightly smaller and with an iec cable, which I vastly prefer).

When it was delivered, it was the same as the original, but dusty and buzzed loudly when plugged in, which is what my old one started to do before it died.

Is there a less bulky power supply for the Radias on the market? If not, is there somewhere I can reliably buy one that won't already be on its way out?