“Does the TCL Roku 65S425 have an HDTV tuner? I purchased a digital HDTV antenna and no channels are being found. I found an article on another site that leads me to believe it only has an analog tuner.”