BillyNoSocksさん、ありがとうございます。
英語の公式ページのお問い合わせフォームから連絡し、サポートの方とメールでやりとりしました。
・USBメモリからのOSアップデート
・工場出荷状態への戻し
を助言いただきましたが、いずれもLEDが赤く6個点灯しうまくいきませんでした。
そののち開発部に伺ってくださりdiagnostics.fileというファイルを作成してみせてほしいと連絡をいただきましたが、
これもLEDが赤く6個点灯してしまい作成できず、購入店で交換してもらったほうがよいとアドバイスをいただきました。
このやり取り(メールの写し)を日本での輸入販売元KORG社に送り、購入店にも連絡し、新品と交換することになりました。