The Export Video dialog makes it easy to export your video files into whatever video format you need