Agreed, Crystal City is a terrible choice if you are trying to attract talent in the DMV. Who wants to make that commute? Not sure why they didn't choose Dulles - more space, new metro infrastructure, Dulles airport access and existing AWS offices and data centers.