Los has buscado con algun explorador de archivos? o desde el ordenador?
En la carpeta downloads o en la de real player...
Yo no utilizo el real player, sino el de por defecto... hasta ahora no he tenido problemas... pero calro no habia intentado descargar los videos...
Si encuentras estos videos descargados me podrias decir en Que formato lo guarda?
Te recomiendo ES explorador de archivos aunQue hay un monton mas