I am pretty keen to try and make some RAGE Videos!

Anyone able to give me the best option for doing this? I know how I can record demos, but I am then not sure how to convert them to AVI.... I have also seen 3rd party software which records over the top, but those files seem VERY big...

Any help is appreciated.