Just out of curiosity, do you have the 8psk module (external A-1)? If so, every time we do the hard boot, we have to go into the menu under external module and switch to the internal module. If we don't do that, we don't get any channels.