I just got off of a chat with Dish Network and they're saying that the dual tuner OTA dongle is out of stock, but the tech couldn't tell me what ATSC version of tuner is inside the dongle. Does anyone know what ATSC tuner is in it if I can find one via other avenues (ebay, etc)? I have an old...