Hola:
Me imagino que tendrás que crear un script en javascript (por ejemplo) de forma que genere un número aleatorio que cargue un video distinto cuando llegue el momento. Quizá lo más complicado sea relacionar ese número aleatorio con el nombre del video, posiblemente por mediación de un array.
Saludos.
