Ignore my original comments, as they don't apply to the issue...
When you/they power the computer up, you get the default option of logging in as the last user.
You can then click "Switch user". You will then get the option of "<last user>" or click "another user" and then enter "DOMAIN\Username" or "COMPUTERNAME\Username" in the username box - in the example above it would be "DOMAIN\Ted" - and then enter the password for that account......
__________________
I've seen the light... It was green, flashy and attached to a Network Interface Card...
Whenever someone says "You can't miss it" I invariably do...