Instead of using Gspot, I took my chances and downloaded DivX codec v3.11 alpha, which appears on the link you gave me. Thankfully it worked, thanks for your help.