Another nice tool for downloading youtube videos in many formats is videoget, highly recommended!!!