You can purchase aftermarket universal remotes that have Roku tv numeral keys 0-9 preset. Like Best Buy Insignia universal remotes in 3, 5, and 8 device models. The Roku tv code in them is tv 4398. Check online for open box sales. 

Oh that’s a good idea.  And since the Dish remotes themselves are programmable multi-device remotes, I wonder if the Dish remote has codes for that TV?  The remotes for VIPs are pretty old, but I think they get updates for new codes. I know newer Dish remotes get updates but I’m not sure about the 20.0 remotes, which I assume is what you have.  (The Dish remotes can also learn, but for learning, you’d need the universal remote to teach it.)

By the way, for a couple of months now, anyone with a VIP receiver who has called into Dish for any purpose has been told that that their VIP is soon to be obsolete and they must schedule a visit to get updated.  So, if you ever have to call, you might want to plan ahead as to how you plan to respond.