I'm looking for a CD Walkman that plays MP3s with a random function. I haven't found very many, so I was wondering if anyone has any recommendations.

Below are some links to the 2 I'm considering:
http://hardware.mp3.com/hardware/individual/2591.html
http://www.lik-sang.com/mf/likko.htm