Got three Macs to update to 10.13.5: so I'm downloading the relevant Combo Updater (it's 2.49 GB).
Searching