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!