Buying a power supply can be expensive and hard to get.

A better plan is to repair the board unless it is totally smoked. Most components are available through Digikey.com or Mouser,com,

Search google for "Korg repair parts" for comlete module if not repairable.