My apologies, they were vip211k's and I explicitly asked DISH about the issue prior to upgrading. :/
Still, if it comes down to reformatting them, so be it...still, not the installer, nor either of the techs I chatted with online nor anyone I spoke to, at great length, on phone support felt the...