Tienes razón en tu memoría en la review del KS9000 de USA lo venden con los dos mandos:
Personalmente estoy usando un mando universal sencillo:
Pero reconozco que cuesta acostumbrarse, aunque hay muchos métodos de acceso a canales, la más directa es pulsar el boton 123 y desde ese menú vas al canal que buscas. Tiene otra función buena (cuando funciona), identifica los dispositivos HDMI incluso en mi sintonizador satélite permite cambiar canales con el mando de samsung, además cuando enciendes dispositivo te sale menú emergente que te permite cambiar a esta fuente. En mi opinión Samsung se ha ahorrado unos cientos de euros en Europa, no facilitando el segundo mando con nuestros TV's, mala política.