There is mix input on the 32.0 remotes, many people seem to be using them with hopper, and some day they are not compatible.
The Bev 9500 comes with a fibe remote that looks nothing like the dish remotes.
All other Bev remotes used to look like Dish.
But I'm pretty sure the 9500 is a hopper...