I just know, watching the disussion, that the Joey 4K shouldn't have been named that...
...but since it was, probably should have used "Joey 5" for the new android/hopper-plus one.
I've seen so much confusion caused for folks new to Dish over the similar name.