It's listed as Dish Network AirTV and it's a far better arrangement than adding it as a Nexus Player.

The only one of the custom buttons available so far is the Sling TV button. The biggest problem that I had with the Nexus Player setup was waking the thing. That seems better so far.