I'll suggest it one more time, try burning the AVI file to a DVD and see if it works..
If not then install the divx codec (klite/megaXP or another pack), install DrDivx and re-encode (it'll give you a *.divx file that you might need to rename back to *.avi for some players