“Does this remote work with Denon AVR-2308CI?”