Yo he estado buscando mucho unas semanas atrás, y al final me decidí por los Sennheiser HD560S.
Son un poco más caros y son abiertos. No me arrepiento para nada, no he probado los modelos que pones, pero también había leído mucho sobre los 9500 de philips.
Sobre lo del sonido de los abiertos, a ti te aislarán menos del entorno, pero a no ser que estés en un lugar muy ruidoso no te va a molestar ningún ruido de fuera. Lo que si pasa es que si tienes alguien al lado va a escuchar tu música, no como si los tuviera puestos pero se nota bastante para que pueda llegar a molestar un poco si están viendo la tele o algo cerca.