Thanks for the links! In using Gspot, I noticed that the AVI's were using Camtasia's TechSmith codec.
Long story short, my home computer had a fresh install of Win7 before the Win8 upgrade, so the TechSmith codec didn't exist. My work laptop has Camtasia on it, and the Camtasia build installs the appropriate codec. So, the solution was for me to just install the trial version of the latest Camtasia on my home machine, which installed all the appropriate codecs, and now my Adobe products properly identifies and plays the TechSmith codec AVI files.
While doing the research on it, I noticed discussions with people claiming that there was a standalone 32bit version of the codec, but not a 64bit version. Not sure if that is still the case, but installing the Camtasia trial version, and then uninstalling it, works just fine (and gives the latest version of the 64bit codec).
Thanks again!
