No divx codec does not come with vegas. get it from divx.com and no, i don't use the divx encoder afterwards to change it to .divx.. .avi is fine.