Yes they do, and the math works out. About 8k people work in their two belltown towers alone.