Win31 was rebooted for urgent maintenance in order to resolve an odd network issue where it was sometimes not properly reaching some other subnets.