A collegue at work bought a new subscription from digiturk. But there is no smartcard in the new tuner it came with. Is there a smartcard inside it or? Is the new digiturk receivers without smartcard? Does anyone know?