If you need additional servers to synchronize your Electrum RXD wallet then I recommend this list of active servers.

To set up press Ctrl+K in the open wallet (or click on the big red dot at the bottom right) then uncheck all the boxes and add:

The port is always 500012