I now have over 2000 mp3's (about 6 or 7 Gb), and I don't really feel like typing them all out. Perhaps one day I'll figure out how to export a playlist into a text file, but until then, think happy thoughts and don't step on any punji sticks.