Texas Instruments HQ is in Dallas, I think.
You’re right... my error
Yes. My son works for them there.