I'm trying to get a 4K mini, but the CS rep tells me I need a Genie2. I have HR54, I thought a 4K mini would work with a HR54. However, DirectTV system won't allow him to do it. I don't want a new DVR and lose recordings, reset up series recordings, lose the ability to have Local Channel connector. I am in process of moving and would like to know if I could just swap out a mini and be ok. I know there isn't a lot on 4K, I just want to be ready when the content is ready.