I assume most people here use camtasia to make the video tutorials. So how about using the TSCC codec and see what people think of it as the quality is excellent and the file sizes are ok.