There are quite a few mp3 players available now with SD card slots - that's the way I'm going I think. They can be about £40 - even in UK! - and 512mb cards are £20 ish. One I've seen even has a built in decoder/ripper so you can rip music direct from the source.