I agree (though I believe the current mp3 player has a random play option), and posted the same question in the idea's forum. I've given it all a thought and I've come up with the following wish-list:
- different bit-rates
- output selection (rock, jazz, that sort of thing)
- if not an output...