Those 3 remotes (and others) you mentioned have the ability to connect to a computer through a special cable. You will find "jp1" written next to the connector in the remote. There is software written by users of the remotes that can program even complex macros and buttons that the remote doesn't know out-of-the-box. Any of those remotes should work for what you need, esp if you want to go the jp1 route with them. (it isn't necessary to use jp1, just adds a lot of capability)
Check out
www.hifi-remote.com or the One For All forum here for more help.