No, I think he didn't download the encoder, but possibly the codec, or the command line utility.

Get this one. I've used it for quite some time and it produces very good file sizes/quality ratios. Just be aware that to compress AVI's of the size you're talking about, even with your processor, is going to take quite some time. You'd best leave it on overnight.