it's not free
Unless he isn't using MPEG2, in which case I'm pretty sure the free version of TMPGEnc will do it. Won't it? It's worth a shot, at least.
_________________________
Matt