[missedthecue]

They have. Google used to be mostly Palo Alto (and foreign branch offices) and now they're much much less Palo Alto.