Hi, I bought a Roamio and a Mini 6 years ago and the Mini died last week, replaced it with a Mini Lux. Setup was a bit difficult, had to reboot several times. Finally got a screen that said the Mini Lux did not have the same "Tivo Experience" as the Roamio, so it asked if I wanted to downgrade...