The 9200 will work as it has 2 sat and 1 OTA receivers (ie.. you can only watch 1 OTA channel at a time)...
...Provided that it is still hooked up to a functioning and powered up switch and dish. ie. if it does not see the satellites it will have booting problems.
The recordings must be manually programmed as it will not show psip programming data (it just says "digital") and regardless of content it will record at the HD data rate (25 hours limit).