Videos are encoded in AVI format at a VGA resolution (640 x 480), using Microsoft MPEG-4 V2 codec. You can use the famous and free video player sofware from Microsoft (Windows media player) to watch all the videos.