OK, I've answered my own question. Turns out I had a confused situation because I had failed to restart the hosts after the Domain join operation.
Now, all three services are started with the "Start and Stop with Host" setting.
So, while I still have seen no specific documentation, it is pretty clear these services are intended to be running after the Domain join, which make sense.
Rob