I notice that most remotes that are RF and IR are a tad on the expensive side. If you go with an IR/RF/IR converter then you can use any universal remote that works with your gear, from very cheap (under 25 bucks) to very expensive (over 500 bucks).
IR/RF/IR converters can be had for under 50 bucks and don't care what IR remote or mix of IR remotes you use, they convert IR to RF on the remote end and on the component end, convert RF back to IR.
Since you TV is in IR range and the rest our of range, this approach would offer you the most flexibility at the lowest cost.
If the only problem you are trying to solve is the line of sight for the IR remote(s) then this will do it. As for the IR remotes, at the low end you can get Unviversal Remotes pretty cheap, but all they do is let you emulate each remote, like 6-in-one, will let you emulate up to 6 different remotes, when you want it to be a Disk remote you put it in that mode, and the same for all others.
Often low end universal remotes will only be practical for the key functions, on/off, vol, channel, device/input selection, FF/RW/Stop/Play/Pause/Record and other functions along those lines, once you get to deeper device specific functions, like changing play modes on your receiver, they can be found wanting as at best you end up programming a non-descript key like "F1".
On the high end, the universal remotes can be pretty awesome but you will not only pay for that, no matter how easy they claim the programming to be, it is not really easy to get it really dialed in.
Just take care on all of the ones that fall between the lower end and higher end, they will fall way short of what you need if you are a true HT, macro-driven, smart remote and you'll pay a lot of money for something you'll end up getting not a lot more function than the low end units.
The best thing to do is look around for one and then D/L the manual for it, most of the better high end ones have the manual in PDF you can D/L and even a lot of the cheaper ones. Get the manual and see what it takes to get what you want, and make sure it lists all of your devices with the remote code for it.