Si el presupuesto es el que manda, pues no te preocupes que ya llegarán otros tiempos, en el foro siempre hay algo de movimiento, se actualizan equipos y suelen surgir oportunidades que se ajustan a presupuestos de unos u otros...

El problema de la segunda mano es que no siempre surge en el momento adecuado.

A cualquier receptor le puedes poner en su salida un adaptador para duplicar la salida hdmi, normalmente los que mejores resultados dan son los que son con alimentación externa y no suelen ser muy caros, por menos de 25€ encontraras opciones en Amazon.es.

Un saludo desde Coruña.