Dell previously had its headquarters in the Arboretum complex in northern Austin, Texas. How many customer support employees did Dell move to Round Rock in 1994