Um mp3-Dateien auf den TipToi zu kopieren gibt es ein wunderbares Tool von Andreas Grimme, das er "ttaudio" getauft hat. Und das Beste daran: Es steht auf github unter folgendem Link zum Download bereit: https://github.com/sidiandi/ttaudio/releases.
Ist das Tool installiert und gestartet, ist es möglich, in die GUI per Drag-and-Drop .mp3-Dateien einzufügen. Dazu muss in der Oberfläche ein Titel sowie die Product ID eingetragen werden, wobei letztere meist einfach übernommen werden kann. Schließlich noch einen PlaybackMode auswählen - und schon kann man durch Anklicken des Buttons "Upload to Pen" die Dateien auf den TipToi (der übrigens vom Programm automatisch gefunden wird) übertragen. Soweit wirklich kinderleicht! Um die Dateien aber auch abspielen zu können, muss man die OIDs ausdrucken. Die einfachste Lösung hier ist, den "Drucken"-Button zu nutzen, allerdings funktioniert das nicht bei allen Druckern und erfordert meist ein Erhöhen der Druckauflösung.
Bei mir hat es folgendermaßen funktioniert: Die erzeugte HTML-Datei abspeichern, danach mit Firefox öffnen und mit der Einstellung "1200 dpi-Auflösung" auf meinem Brother MFC-7360N ausdrucken.
Ich wünsche viel Spaß bei dieser alternativen Nutzung des TipTois - meine Tochter hat sich riesig gefreut, weil sie jetzt ihre Lieblingshörspiele alle auf dem Stift hat (das reduziert zudem den CD-Verschleiß erheblich)...