・TvRockの設定を開き、チューナータブの“BS/CS”に割り当てられたチューナー設定の
 NHKBSプレミアム、BSジャパン、BSアニマックス、ディズニーチャンネル
 (名称は環境によって異なる場合がある)
 のチャンネルの9桁の値を
 NHKBSプレミアム=771113009
 BSジャパン=768557074
 BSアニマックス=783697618
 ディズニーチャンネル=771114546
 と異なるなら変更する。
 チャンネル以外のサービスなどは一切いじらない。
 念のため変更が終わったら一度TvRockを終了させ再起動しておくといい。

 チューナーが多い場合は、TvRockを終了させた後にTvRockの作業フォルダ内のdtv.iniを
 直接編集する方がテキストエディタの置換機能などを使えて楽かもしれない。
 その場合も9桁の値以外はいじらない。
 dtv.iniをバックアップしておき、WinMergeなどのテキスト差分表示ソフトを使えば
 余計な変更がないかの確認も簡単になる。

・あとは番組情報を再取得させ、正常に録画できるかなどTvRockの動作確認をする。