I think K-Lite has a utility included that tells you what codec various AVIs use. You could probably download that (assuming you still have Windows on a machine

) and find what codec the video is using. It's then a matter of finding the codec for Linux, if it's even supported.