We have an older model Dish Network receiver... I found a remote control on eBay but will it work? Will I need to have it programmed to work with my receiver? If so, how do I do that?