Anyone has info on galaxis 7000 decoder ? Any problems with its use in UK? I understand its swiss manufacture