They appear to automatically determine that the default is unavailable and increment their port numbers until they find availability. If you build a dedicated server locally and then run it a couple of times, you’ll see server instances running on :7777, :7778, :7779, etc.
I’ll test this on a remote linux VM tonight and report back.