How to convert recorded video to .avi format?

Run the Player.exe from path [CD]...\Utility\Player with converter\Player.exe. From option menu select "Convert to AVI".