Yeah, the kix32.exe is on all three Domain Controllers based at this site (He would be using any one of these three).