Didn't they make some video editor?
Are one of these a flash editor?
Adobe Flash Professional will be what you are looking for.
SEVEN... HUNDRED... DOLLARS.
Holy stuff really?