Estoy viendo que en TodoWoxter tienen el 3250 de 1'5TB por 50€ más. ¿Merece la pena? Tengo entendido que la única diferencia es el doble sintonizador TDT HD. ¿Hay alguna más?