The tricky part will be installing an ogg decoder on his DVD player :P, seeing as the audio probably is in ogg format.
-Edit-
Reading the posts in their entirety is smart. I suppose it'll work if you use a program to convert them to the standard DVD format, but that program will still have to support ogg vorbis audio.