We just bought a new TV and even though VIP211K shows up on the SAMSUNG menu when setting up the TV, the Samsung remote won't recognize the DISH system. Is it worth trying to fix or just continue to do what we've done for years, use the DISH control?