These files are mpeg1 encoded. If you have problems playing them try mplayer