Benq MS619ST con Android TV Box DVB-T e QWERTY

Ciao a tutti.
Un mio cliente mi ha chiesto un consiglio su un progetto di installazione in casa sua:

Lui possiede un videoproiettore Benq MS619ST, quindi che proietta a 800x600 ma accetta segnali tramite HDMI fino a 1080p

Quindi sicuramente se entra qualche segnale in 4K non verrà visualizzato.
Lui tuttavia vuole un Android TV Box 4K, che per il momento possa essere utilizzato in Full HD e in futuro, quando sostituirà il proiettore funzionerà in 4K.
E' possibile?
Inoltre vorrebe un Android TV Box completo di ingresso per antenna del DVB-T.
Che dispositivo potrebbe acquistare?
Io non sono informato sugli Android TV Box. O meglio ho letto recensioni, ma non ne ho mai provati.
E' imperativo che sia affidabile, con un buon telecomando e/o tastiera QWERTY.