I am setting up a new TV, the Samsung UN43MU6300. During Setup, any devices connected to the 3 HDMI ports are detected to be shown as “Sources” and, supposedly, to be able to be controlled by the Samsung remote. Initially the TiVo Bolt was detected as “Cablevision” (whatever that is…?). The...