думаю , что flash to avi или подобные форматы, найти в инете не проблемма..
к сожалению, все конверторы данного направления являются платными (это связанно с политикой компании Adobe).. так что считаю тему законченной..
все дальнейшие обсуждения могут закончится кряками, что естественно, мы не обсуждаем..