Thanks for your answer! So you are sure that the internal songs are midi files. My idea was that they are binary files, but that my keyboard also can read midi files. Good news to hear that they are midi files, because it means that finger guides can be added, if Casio reveals the secret