Thanks for the info. The Gefens are a bit pricey, but the other hits when I googled Gefen led to this Wireless HDMI Tranceiver and it also has the IR repeater built in.

I'll give it a try and post my findings.