7.2 is a subchannel of WDBJ. Digital channels 7.1 and 7.2 are bundled together on "Real" channel 18. Similarly, 15.3 is a subchannel of WBRA-DT on "Real" channel 3.TVFool doesn't show subchannels separately, only the "main" .1 channel. If you can receive the main channel, you should be also able to receive any subchannels that come along with it.
4/8/14 at 2:54pm