I had dish installed about 2 months ago. I was a 15 year cable user, made the switch and couldn't be happier. I got a VIP722k with my installation and love it. here is my problem and the question: The installer left behind a vip722k in a box and the installed vip722k. the one that is not...