My Tevion does too - it has a Zoltan chip in it which out performs most mediatek ones.
Get hold of Gspot to quickly check AVI files to see which has packed bits, GMC, QPEL, etc quickly.
If I've a directory or so of files I use MPEG4Toolkit, which is based on Mpeg4Modifier, but has a different interface including the option to batch process all files in a directory (copying them to a subdir, best as after all Mpeg4modifier isn't always perfect).