Acabo de probar, esa app sí tiene aleatorio, aunque hay que activarlo (en el reproductor arriba en el medio hay un símbolo y si lo pulsas te permite entrar en bucle o en aleatorio).
Pero menudo pedazo de caca que el reproductor original sólo sea secuencial… Al hacer una actividad, se mantiene este segundo reproductor funcionando, así que supongo que tiraré con este mientras pueda ¯\_(ツ)_/¯