Bueno, a mí philips al final me devuelve el dinero de mi 7500, y me toca ponerme a comprar un nuevo reproductor con salidas 5.1 o 7.1.
Buscando por la red, he encontrado (sin que se suban mucho de precio):
SAMSUNG C6900. (descatalogado) 159€
C6500 (descatalogado)
PHILIPS 7600. 149€
a ver que decido...