Flash file sizes were very small (they were basically just vector graphics). We tried making them into videos, but the file sizes, even greatly compressed, were too big for our Asian retailers. This was in the days before video streaming really came into its own. If we were making the decision in 2022, we probably would have gone with videos.