Yeah, EIT extraction does work for the ATSC versions of the HDHR tuners. Presumably also for DVB-T.