Hello, can someone point me to a working USB DVB-T tuner for 800 HD SE? Is there a DVB-T2 tuner also or just DVB-T? thanks!