“Does the Samsung 40 inch class 5 series smart tv have an HDTV tuner to allow HDTV antenna to access local channels?”