record the 6k line out into your pc soundcard line in with a wave recording program. Then convert to mp3, many programs now have the codec built in.