222k receiver (installed 2 DEC); due to problems experienced, I had to reset system multiple times. In process, noticed there is NO smart card. I thought I read in another post or somewhere that if receiver doesn't need card, that's clearly stated in manual (it's not). I asked owner of install...