After ensuring all the settings were correct, we exported our final video as a .mov file, then opened it in Quicktime to be converted to the correct format. The video is done!