I want to use the codec for rendering videos on my Sony Vegas 10, but it won't show up in my codec menu. I read about redirecting the registration, but no instructions on how to do it. This is for DivX and not Xvid (I had found a 64-bit version of it).