Скажите через какую программку делали официальные Видео для игры Dead island (Riptide) и их дополнений.

как разрабочики делали эти видео ?
врятли через SFM есть ли взможность

я имею ввиду разработчики создавали видео.
через что создают видео ?
не рисуют же ...