Wow...never knew that about Korg. That can be a hassle.

How about other types of files like sounds, voices, midis, registrations, etc.? Can any of these load and play directly from a USB, or must they too be loaded into the keyboard first?