How hard would it be for Channels DVR server to act like a Joey from Dish Network and be able to tune/record Dish channels from a Hopper DVR?
Dish is bleeding customers now that StarLink is an option. If you need access to their API, maybe they would go for it.
The advantage is that you would be able to record NBC channels and if your OTA channels come from a different state, your Dish locals would give you different local news and sometimes football games.
Also, the cost difference to online streaming channels is not very much.