I recently downloaded an eval of Dr. DivX from
www.divx.com. It allows you to easily encode DivX from (decryped) VOB, live source, etc. Very nice.
Dr. DivX may not give you as much control over settings like FlaskMPEG, but how many of us really understand all of those settings?
Dr. DivX is $50 and includes the DivX 5.05 Pro codec.
I use DVD Decryptor to rip the VOBs and then Dr. DivX to encode. Couldn't be easier.