I'm in Waco, Tx, and I specifically want to get KERA-DT since Dish doesn't offer our local PBS station in HD. I say Local, our true Local PBS station KWBU shut down a few months ago, so the closest one is in Belton which is way too far for an OTA antenna. As for other channels, if I can get...