For anyone out there (on Windows or Mac) who needs to convert video… Miro Video Converter