I have a couple of onkyo's, they are all good. Onky TX-SR series. they make ones with multiple HDMI inputs, some even have 5. they go from like 300 to 800. Btw, this is really handy. Make changing inputs and components a 1 touch event.
Harmony Remotes I've got 2 890's and an 880. Only real difference is that one doesnt require line of sight.