Incidentally: that 3 second uncompressed HD avi I was playing with was 450 mb. Compressed with h264 (CRF 17) it was 1.5 MB.
Lossless h264 version was 8 mb and the lagarith version was 30 mb.
Interesting experiment.
However we should probably get back to talking about what a great job Sanjuro did with his color correction… There is probably a thread in another section of the forum for discussing compression.