Siempre estas a tiempo de hacer esa balda, probando antes cómo queda el conjunto con el receptor sobre la leja superior (los cables podrás ocultarlos tras el mueble), o si lo prefieres con la pantalla colgada a la pared.

Podrás leer un hilo específico sobre redcoon, según cuentan algunos SAT no aceptan reparar equipos cuya procedencia no sea del distribuidor español (supongo que este es al que facturan y no debe admitirlas), como redcoon compra conjuntamente de distribuidores (supongo) alemanes pues ahí puede darse el problema. Por lo que parece ellos abonan el coste de la reparación tras conformidad previa, o algo así.

En esto hay que valorar el ahorro y las probabilidades de que un equipo salga defectuoso, yo no les he comprado (ni tengo nada que ver con ellos, el foro creo que tampoco) pero en este caso no dudaría en hacerlo.

Si te plantease aumentar el gasto, antes lo haría en los altavoces que en el AVR. El Moviestar 65 no es mejor que los HK 9 ni 30, y la diferencia de precio de estos últimos respecto al pack que te ponía, unos 200€, mejor los guardaría para, en su momento, añadir unos frontales para estereo más potables.