I use a Sony MiniDisk player. It plays all kind of formats, incl MP3 and didn't cost me an arm and a leg (about $130 IIRC). Easy to record music to and one disk can store several hours of music (depending on format and bit rate). When I travel I usually take a couple of disks with me and am set for the entire trip.