Ek marantz dv7600 es una maravilla, pero trae hdmi 1.0 y no 1.1 como casi todos los que nombras. Denon 1920 ha sido escogido como el mejor calidad-precio y hay ofertones como el de supersonido. Yo me he pillado un Marantz dv6600. El panas97 tiene muy buena pinta pero ya es un poco viejete, del sony no se nada y del philips por aquí hay foreros enamorados de él.
Yo te diría:
1. Denon 1920 o Marantz dv6600
2. Panasonic s97 o Philips dvp9000
3. Marantz dv7600