Unless you really have the time, fcf, don't worry about that. I can do that from my original and spare a lot of quality loss. I wasn't aware that there were noise filters, but now I've looked into one and it works really well. I'll make a re-encode of the XviD one, with the noise filter, as well as a smaller resolution one. Which DivX encoder are you using? I'll make DivX versions as well. No sense double-encoding.
Edit:
Okay, I've re-encoded with a noise filter, as well as added a half-resolution version.
