Rotar un video al cargar la página

[El Patrón.]

Hola

Bueno, pues puedes crear un array con los nombres de esos archivos
y luego crear un numero aleatorio y asignar ese resultado como elemento del array, y cambiara el archivo a mostrar.

Otra opcion es hacer el aleatorio pero en una consulta si es que tienes los archivos en una base de datos

Bueno, espero te sirva

Suerte