I just ordered Dish and they are coming out Sunday to install. I have a freind's referral card number, but he doesn't have the card. He got the number by calling Dish. Does the installer actually have to have the card in hand in order to give us the referral discount? The tech on the phone seemed to imply he would.