Right, so for server entries defined as "Random Server", the $server will be the actual server address once you have connected, so you cannot use $server($server) to look it up. This is by design. There is no way for $server() to know that the $server you are providing is meant to match a "Random Server" entry. $server() can only provide details if it finds a match in the servers list.
