By the way, in case this helps, I was using Dell Music Jukebox for my iRiver .mp3 player for a while. It was really easy to use, and I believe you can export songs to any type of player, so long as it is compatible with .mp3 files. You can probably get the Music Jukebox software online.