I don't know about it. But this is from page 50 from the 7500 manual:
Selecting RF to Operate your Devices
1 Tap and hold the ProntoPro NG icon in the upper left corner of the touch screen for 3 seconds. The Tools Menu appears.
2 Tap in the Tools Menu.
The ‘RF IR Tool’ screen appears.
3Tap .
The Device Overview appears.
4 Tap the Device for which you want to select RF.
The ‘Select IR or RF’ screen appears. By default IR is selected in the Sending Signals list.
The Define RF button is disabled.
5 Choose RF in the Sending Signals list. The Define RF button is enabled.
6Tap .
The ‘RF Settings’ screen appears.
7 Select the RF Channel in the RF Channel list you use for the
RF Extender.
The RF Channel on the RF Extender has to be the same as the RF Channel on ProntoPro NG.
8 Select the Extender ID in the Extender ID list you use for the
RF Extender.
The Extender ID on the RF Extender has to be the same as the Extender ID on ProntoPro NG.
Note
9 Tap
You can use several RF Extenders with your ProntoPro NG. For each RF Extender you use for your devices, you need to set the RF Channel and the Extender ID.
The RF Channel is identical for all RF Extenders. The Extender ID is unique for each RF Extender.
in the ‘RF Settings’ screen.
The RF settings are saved.
10 Tap inthe‘SelectIRorRF’screen.
ProntoPro NG will send out RF signals for the selected device.
Note Try to keep ProntoPro NG and the RF Extender away from metal objects, as this will have a negative impact on the range.