テレビがZ20XでHDR10しか対応していないので
HLGをHDR10に変換して出力する4S-C00AS1にするか
東芝どうしTT-4K100のSDR出力をZ20XでHDR復元に期待するか
の2択でどのチューナー買うか悩ましい