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.
Exactly - BUT if you open options for a connected server you can see which entry in the server list you are connected to. So my suggestion is that we make the properties available for $server(name) available for existing server.
However, I think that you cannot have properties for an identifier that is $server rather than $server(something), so we might need to do $server(-1).property for this.