Yo acabo de comprarme un Amiko STHD 8840 Combo. Yo no lo he probado aún, pero dicen que va muy, muy fino! De todas formas, no es Linux, y a lo mejor tampoco te interesa un Combo (DVB-S2 + DVB-T2)...

Salu2