"Tyson's Corner" is generally 50-50 a McLean (22102) or a Vienna zip code. However, as route 7 crosses the Beltway you enter Falls Church 22043 and that's where you will find the DT. There is a shopping area further east on route 7 (Trader Joe's) that calls itself Tyson's Station.

In case you wanted to know......