Robin, I called it a "wall plug", but should have said power adapter. It is similar to a mobile phone charger and plugs directly into the wall power socket. The wire from that plugs into the 7000 charger base. As Andrew said, it is about 10 pound to get a 240V power adapter.

As Anthony says, RF is only an issue if you want to buy and use the RF Extender. The frequency used in Europe is different to the U.S. so you can only use a U.S. Extender with a U.S. Pronto. Technically, it is illegal to use the U.S. RF frequency in Europe.