Monday around 10PM I need to reboot the host machines to load a new kernel. Ubuntu keeps kicking them out and most have had security issues so don’t want to leave the old ones in place any longer than necessary. There should be about ten minutes of hard downtime and then, particularly on the debian machines, may require additional reboots if they do not remount NFS partitions right which has been a problem with them recently.