If you can't find your server in the RBS Portal, confirm with them that they have registered in the RBS Portal and have provided you the correct Server ID number and last name.
To check this, they should log into their personal RBS Portal account. There they can find their Server ID number on the server dashboard. Their last name must be the same as the last name they used when they registered in the RBS Portal.