Ok, so that's less annoying, anyway.

Maybe next time it happens, just have one person restart; doing that a couple times, switching who restarts, could help determine if the problem is just occurring on one system, or a combination of both.