“My DISH programming does not include local channels, so I have to use a separate, over-the-air digital antenna to pick up local channel signals. What high quality brand and model antenna would you recommend that would work well with this TV?”