I bought a Vip222k from a friend. He owned it, not leased it. The problem I'm having is that it will not boot up. It just stays on the "Starting Up..." screen. I called Dish to have it added and get it replaced, but they said they cant add it or replace without the smart card #. It is internal of course. What can I do?