Common Man with all the gear you have I can't believe you don't have some kind of remote solution.
I would say all of your gear can be controlled by one of the HTPC's. If you like the keyboard so much you could get an app to run the receiver and BD player via ethernet or RS232.
I am redoing all my control systems now where everything will be RF and then RS232 to control my gear. No more @#$%^ IR. All my sources will be run out of the theater to 4 zones + the theater.