I want to know the answer to the following question:
How many employees worked at Dell's Texas headquarters?
All the background I'm provided with is that "In 1990, Dell had 1,200 employees in its headquarters.". Is that enough to answer the question?