My 7100 Dishplayer died today. Fortunately I have the $1.99 per month Warranty on all my receivers. They are sending a free replacement, and even waived the shipping. What will they be replacing it with, another 7100 or a 500 Series? Does anyone here know if they have refurbished 7100's left somewhere in the warehouse? Just curious.