How Can User Change System Clock Without

We do not allow users to be the local administrators of their NT4 Workstations at my installation, but I have a user who needs to change their system clock in order to do their job. I can find no registry setting, no policy, or any other method of allowing a user to change their systems clock without them also being the local administrator of their box. does anyone know how this can be accomplished?