Has anyone on the list tried working with an HDTV card for Linux? The only one I know of is the one at http://pchdtv.com/. Were you happy with it? -- Lance Simmons