I have been using the .WMV format which allows simple control of playback speed using Windows Media Player 11. I haven't been able to get it to work with .AVI files.
One can click on the speed control while playing back to change speed from 0 to 16 X. Hot keys allow .5X, 1X, 1.4X, and 5X...