Well, then he needs to buy a tv card.
Connect vcr to tv card, play vcr while using record function of tv card (most of em have it). Saves to mpg or whatever file, burn that to cd.
Tomshardware had some reviews of tv cards a while back. Check under the multimedia section.