I don't know how much they want for the Xantech stuff, but it might be cheaper to use the RF extender. Provided, of course, his remote supports it. It comes with the IR emitters and costs about $100. You could run an emitter to one of the players and mask the window. One player would work with straight IR and the other would work with the extender.
Jim L