Do you run in cached exchange mode? If so clearing their OST should do the trick, have seen this with a few of our users. Take them out of cached exchange mode, delete the OST, then re-check cached exchange mode.
I used to have a handle on life... but it broke. Cpt. Red Bull