Is that a cool video card, or what! I have the 8500 DV, but it still "only" records in AVI, MPEG, or WM formats.
On-screen TV is wicked.
You might want to check out the thread in Applications, Movies, and see the link the admin posted:
http://www.pocketmatrix.com/guides/dvd2divx/
It looks like you can record in any format and convert and resample to any resolution.