If the file's actually .avi encoded and just has the .divx extension, it's easy. Open Windows Explorer, Tools, Folder Options, View, then uncheck "Hide Extensions for Known Types." OK out of everything. Then you should be able to rename the entire file instead of just the base.