The WMV was made by importing the AVI file into Windows Movie Maker, included with Windows XP (Pro, at least). Then I downsized the file by reducing dimensions, sound, and changing format, so that it is more "Internet-friendly."
As to this post, I believe, if I am not terribly mistaken...