Are there any 3rd party compression programs on the market to further compress larger flash movies?