Hey @larsman ,
I agree with @soix on this one. A learning remote is programmed by the remote you already have. Put it in learning mode and point your current remote at the spot they designate on the new remote and it learns the code (button by button).
TV remotes have unique codes by manufacturer which makes it simple just put in the code and voilà.
If you are determined to get a different pre then I believe an ARC REF6 used fits the bill. Yes, that's what I'm using and it is a wonderful big sound.
Regards,
barts