-- I inserted these lines.  I use channel 13 for my cable box.  So replace 13 with your channel
-- These lines were copied from the lines that started with "mmc/encoders/133509170/1/0/"
mmc/encoders/133509170/1/13/atsc_tuning=false
mmc/encoders/133509170/1/13/available_channels=
mmc/encoders/133509170/1/13/brightness=113
mmc/encoders/133509170/1/13/cable_based_rf=true
mmc/encoders/133509170/1/13/contrast=118
mmc/encoders/133509170/1/13/device_name=
mmc/encoders/133509170/1/13/hue=128
mmc/encoders/133509170/1/13/last_channel=28
mmc/encoders/133509170/1/13/provider_id=27582751296  <-- DirectTV isn't my provider so this might be different for you.
mmc/encoders/133509170/1/13/saturation=100
mmc/encoders/133509170/1/13/sharpness=134
mmc/encoders/133509170/1/13/video_crossbar_index=13
mmc/encoders/133509170/1/13/video_crossbar_type=1

-- This line was already there and I updated it with channel 13
mmc/encoders/133509170/last_cross_index=13