The way I heard it, the SV office only existed in the first place because Lamport didn't want to move to Seattle. I kind of doubt they didn't offer him relocation, and I kind of doubt he accepted it.