So my parents, who have been on DISH for years now, just had the VIP 722k DVR on their main TV finally go out after a few years of slightly flaky behavior. Hard drive failure, natch. Customer support has told us that they have no more 722 receivers available to replace theirs, so their only...