I’m considering buying a Philips HMP3000/98 media player in the very near future. One thing I am quite concerned about is the Music function. The user manual said it supports random play. Does anybody encounter any problem with playing mp3 files randomly? I had a bad experience with a famous Japanese hard disk recorder a few years ago. Its random play function always follows the same sequence, that is playing the same mp3 files in the same sequence.