I am having an issue with my 4k Genie Mini. My non-4k Genie Minis are working fine. On the 4k mini, I keep getting 'No servers were detected'. I have tried resetting both the mini and the HR54 with no luck. If I plug one of the non-4k minis in where the 4k is located it works fine. I have tried two different Samsung 4k TV's as well and both show the same issue. Anyone know of anything I can try to get the 4k mini working?