you could either buy a DVD player that supports DiVX (not even sure if these exist, i'm pretty out of touch these days...), OR download the program TMPGenc and encode the .avi to a VCD compliant mpg. the program is incredibly straight forward, but for a large file, encoding on a slower processor (under 1ghz) takes a while.