What kind of built-in tuner will allow a cable-ready TV to display HD content without an external box?