Respondiendo a tu penúltima pregunta, al elegir entre el switch hdmi o no, me quedo con el switch. Lo de ser vago, no tiene una solución técnica ahora mismo...
En efecto, los satelites dan 1080i, pero seguuuuuro que en breve se buscarán la vida para 1080p. Evidentemente de mientras lo puedes poner por componentes, y si tu av hace escalado a hdmi, genial.
Sobre el macmini preguntame, en el foro que toque, y haré lo que pueda, pero mándame un privado para avisarme, que no miro nada fuera de aquí.
En cuanto al AZ Box, tengo un conocido mordiéndose las uñas queriéndolo comprar y no se lanza. Si lo hace, tendré uno relativamente a mano para salsear. Ya te avisaría.
Yo tengo el Mvision HD300 combo net, que tiene deco satélite y tdthd, múltiples ranuras para tarjetas y salida usb para disco duro externo. Como media center es bastante flojo, pero creo que ya andas sobrado con el macmini, por lo que no sería un grave problema para tí. La verdad es que no tengo ni idea de si funciona con CSD, pero imagino que buscando por San Google saldrías de dudas enseguida. Lo compré en www.electronicaweb.com. Rápido, barato, y contrareembolso.