I wonder if we want to add a --rejoin-quorum command line option so that they can make it rejoin explicitly if they want to.  It may also be that they have an old monmap on this mon (since it can't join and get the latest).