La HVR-4000 tiene drivers para Windows 7 y funciona perfectamente.
En cuanto a cual elegir, no sé, yo con la 4000 estoy muy contento. La uso con DvbViewer y puedo mezclar canales TDT y Sat en la misma lista y tenerlos todos juntos. El único pero (muy leve) en este aspecto es que, al ser el sintonizador híbrido, no permite ver al mismo tiempo un canal TDT y sat a la vez y el cambio de canal TDT a canal Sat con DvbViewer es algo lento (unos 5 seg), en cambio a la inversa es inmediato.
Esto podrías solucionarlo teniendo una sintonizadora TDT a parte, pero curiosamente, yo he tenido una SS2 y un Kworld TDT también con DvbViewer y ocurría lo contrario; el cambio Sat a TDT era mas lento que a la inversa.