The video that I referred to in my previous message today turned out to be an mp4 with a file size of 33,978,499 and it was only 27 seconds long. Surely there must be a way to convert a video like that to a more efficient format (requiring less file space for such a short video. What would you recommend?