Looking at the recent decades-old-brand renaming bonanza with MS Office I'm pretty sure they're still in Redmond.