I kinda wish the manager had punished the employee. There was a story a while back about a Starbucks employee who made fun of a customer with a stutter, and he was fired for it.