In most cases, the best choice for a universal remote is a JP1 capable learning remote plus a JP1 cable.
Rob (owner of this forum) sells JP1 cables ($15) with remotes, such as the 8910 ($20) or 8811 ($23). Before JP1.2 support is available, one of those two models is probably the best remote available. See his message at:
https://www.hifi-remote.com/forums/viewt ... 13&start=0
I haven't looked up your four devices to see which have built-in setup codes in those universal remotes. I wouldn't be too surprised if none of them do.
An 8811 or 8910 does NOT have enough learning memory to support all four devices by learning. Probably it only has enough to support one device by learning. That is one reason you may need the JP1 cable.
With a JP1 cable you can learn and decode a batch of signals, then use the decoded information to create an "upgrade". An 8811 or 8910 has plenty of upgrade memory for those four devices (and a few more) even if none of them have built-in setup codes.
A JP1 cable also lets you customize macros and other advanced features of a universal remote more than you could without the cable.
Rob's prices are good enough and overseas shipping reasonable enough, you might want to save your girlfriend the effort and just order it direct.
If you don't want to get/use a JP1 cable, I think the best OneForAll choice is the 6820, 8820 or 10820. They are basically the same remote, differing primarily in the number of device buttons (6, 8 or 10). It sounds like 6 would be enough for you. I believe those models have more learning memory than the JP1 compatible models. They have newer, larger libraries of built-in setup codes (though still only for codes used in the USA). I don't know if they're more likely to support your four devices by built-in setup code. I also don't know what retail stores carry them. I expect they have retail store prices enough higher than online prices that if your girlfriend is in the USA long enough to internet order one, that would cost less even after shipping cost.
