Ignorant question - if i get a DVB stream from Europe, how do I convert it to ATSC/NTSC for US use? Take it to SDI and encode? Some direct conversion box? I know nada about DVB and coudl use a handwaving level of advice here. thanks! John McClenny