Time to ask their "network guy" why that NIC is running at only 100Mbps.

Also check their OpLocks settings and try running from another workstation where the network speed is better. There's a hardware/configuration problem.

Aren't they complaining about other performance issues on that workstation?