I have just installed a new DISH system. (Receiver model is DishPro 301.) My service includes local channels, which are numbered 8000-8007. My Replay 3030 does not seem to accept 4-digit channel numbers and thus I cannot tune my local channels. Is there a way to correct this problem?