Насколько мне известно у Philips 9417 есть 2тюнера (возможен просмотр 2 каналов одновременно)и технология там суперовая.Но он и стоит подороже (около 1200у.е.)
В магазинах эту модель даже не включают рядом с другими.