Как обещал, пишу о результате. В моём случае дело было в ресивере.
Приобрёл новый (Octagon SF8008 4K), настроил у себя (в т.ч. 14W), привёз отцу, всё с ходу заработало.
Видимо что-то поменяли в сигнале, раз старый S3 ISIO его перестал видеть. Во всяком случае так было у нас.