Roamio basic and mini both with lifetime

My parents went with their cable co dvr instead, their loss. Roamio basic sealed, with lifetime, and sealed mini with lifetime. $750