Well it could be that it was much worse before, and this is what she has gotten it down to after therapy or medication.I had this very same co-worker and it also drove me crazy but as you said it was a nervous tic and not going to stop without therapy or drugs so you just have to ignore it.
