Hello, I have a toshiba 56 inch dlp hdtv. I have comcast digital with a box and tivo. I used a splitter so one goes to the box and tivo and the other goes to the ant 2 input of the tv. I seem to get some hdtv channels with numbers such as 115-2, 88-12, etc. Are these unscrambled hdtv channels?