Thanks for that! We did recently install something that also installed a Divx codec, so perhaps somehow that replaced the standard AVI codec. I will definitely check it out!!