Rename the file to .AVI and if it's like most PCs, the file still plays!

Maybe you had more requirements than naming it an AVI file?
Bob