wpmudev video file sizes

Hi,

The description for the video tutorial states:
"This video is Flash, under 5MB and 640px wide x 480px high (for ease of embedding in a blog format)."
https://premium.wpmudev.org/project/writing-a-post-in-detail
But the file I downloaded was 19MB.

This one states it is under 5MB but is 20MB:
https://premium.wpmudev.org/project/changing-your-design-in-detail

This one is 15MB:
https://premium.wpmudev.org/project/introductory-video

Is this correct?

Thanks!