Reproducción aleatoria de video

Hola a todos.
Os planteo mi consulta:
Necesito un disco duro multimedia que tenga la función de reproducción aleatoria para archivos de video. Esta función está disponible habitualmente en reproductores de audio, y suele llamarse "shuffle" o "random", pero no es fácil de encontrar en reproductores de video. ¿Alguien conoce algún modelo que disponga de ella? Os agradecería mucho cualquier información.
Dentro del mismo tema...en el mando a distancia de los modelos SPE9025CC y SPE9030CC de Philips existe una tecla "shuffle". ¿Alguien que conozca estos modelos sabe si sirve para listas de archivos de video, o si es unicamente para listas de audio?
Muchas gracias por vuestra ayuda. Saludos.