I have tried several devices that can play music files and when using the random play feature the music does not seem to be truly randomized. I would like to find a player that can randomize a complete group of songs and not replay any of them until the entire group is played once and then randomize the entire group again and repeat the process. Does anyone know of a device that can randomize a group of songs this way?