That's true, however I was modeling it off of the "server_went_down" message, which assumes that the default server is a lobby.