I ended up using Super DVD Ripper. Not fancy or even particularly good, but it got done what I needed it to do, which was make a few AVI files.
_________________________
Tony Fabris