They might be divx avi's. Download the codec from divx.com. When you install it you'll most likely get some error message saying it's a non-supported driver or something, just ignore it.