I'm considering buying a Hopper. If it dies after the warranty period, what is the repair procedure and cost. Will dish exchange the bad one for a good one just like a leased receiver? If so, how much do they charge? I don't currently have the protection plan.