Yes. My coolsat 6000 premium works, Ok. On the 8000HD, I can't find "Nimiq 1,3" only "Nimiq 1" & "Nimiq 2"(seperately). I was (accidentally) using nimiq 2. I switched to nimiq 1 doing a full factory reset. It didn't help.