Wouldn't an ipconfig/release, ipconfig/renew be a possible helpful step if the given advice don't help? Not the easiest to do, but better than a reeboot.