I used a Flirc many years ago for my mythtv DVR and it worked great. https://flirc.tv/

edit: I used the receiver, but they do make a remote. It looks cool but I have no experience with it.