I've been using Divx doctor b4 to play my avi/divx movies. Then suddenly yesterday, it said that it expired. So I went to the site and it was changed by 3vix. And they don't have that player anymore. Now I'm stuck and I can't find a new divx player anymore. Is there a new one out there that we can use besides that old codec? Any help would be grealy appreciated. 