Is the Sansa Clip's shuffle random?

[mjdug]

I’m looking for an MP3 player that has a truly random shuffle. I’ve had a Sony Walkman that had a random shuffle but has worn out, and a Hipstreet that always repeated the same 20-30 songs out of over 700. I’m getting rid of the Hipstreet and considering buying a Sandisk Clip Jam or Clip Sport. If I put it on random play will I get the same songs over and over or will each of my 700 songs have the same chance of playing? Based on the latest replies on this thread I don’t know whether I should buy