Animation menu > Make Movie

In the Make Movie dialog box chose 'Current Render Settings' in the 'Quality' pull-down menu. You can then click the 'Render Settings' button to confirm that you have 'Use Texture Maps' and other elements you want turned on. Under the 'Sequence' pull-down you can chose to output to an AVI (PC), MOV (MAC) or Image Sequence (BOTH). Press 'OK' on the Make Movie dialog box and you will prompted to save the output file and choose compression settings.

Hope this helps.