Great! Once BandarLover connects, we will have 5, and I'll start the game.
I read the help after I already started the server, and I could have sped things up by using command-line options to auto-start once the game got to 5 players.
Oh well, live and learn. I'm pretty sure I can't stop and restart the server at this point in time because currently the only options are 'Cancel' and 'Start Game'. So I'll manually start it once when we get five. Unless I'm asleep

.