I expect that most "One For All" or "Radio Shack" brand remotes would do the trick, just not the very cheap ones. You'd be looking for one that supports audio codes.
Give the URC-6131 or URC-6012 a whirl.
You may need to use advanced codes to program some buttons, and you can find those at:
[Link: hifi-remote.com] and
[Link: hifi-remote.com]