Can anyone confirm reception of LA local PBS channel KCET (Channel 28) in HD? I know that it was announced but we do not see it in the guide. We only get the SD version: "LA28". DirecTV technical support gives conflicting information as to whether it is available or "coming soon". I would like to take down the OTA equipment since this is the last channel we are waiting for.