You’re absolutely wrong Pete in interpreting the Korg website; Audiogate can MOST DEFINITELY export files in all the usual formats (DSF, AIFF, ETC).
In fact, it can convert between the various formats.
I know so because I have Audiogate. It’s not the most user-friendly piece of software I’ve encountered, but it does work.