Pues he seguido buscando información y parece ser que sí existe un sintonizador TDT tipo usb-stick para los Dune. Se puede encontrar en varias tiendas online. Pero por lo que he podido leer no parece que sea recomendable debido a la baja sensibilidad que posee y al software que es bastante básico. Parece que no soporta timeshift ni EPG a pesar de que se indica que en próximas actualizaciones sí ( de esto ya hace bastante y sigue por lo visto igual).
A ver si alguien tiene alguna experiencia con este sintonizador o ha probado a utilizar otros con más éxito.