If I wind up streaming through an app, it'll be through my Roku Ultra. But I see the DirecTV has two external streaming devices, one called a Gemini model C71KW which is an external box, and a newer one which is a dongle, called the Gemini Air. Does anyone know if there's a reason to pick one over the other?