Thanks, Simon.

After returning to Factory Settings, I was able to play my AVI file successfully in both VLC and Windows Media Player.

So, bottom line: Good news all the way around!