I'm trying to do a re-encode, halfsize, with DivX. If it turns out well, I'll add that as an alternative download.

Kryten, if you use a noise reduction filter (dunno, you may have) on the source before encoding, you should get a better compression ratio. All the speckles give DivX or XviD a tougher job to do.