Would that be a headquarters move, or just an SF office move? IIRC, they may have to move out of their present space above Palomino, which means they'd be look

Would that be a headquarters move, or just an SF office move? IIRC, they may have to move out of their present space above Palomino, which means they'd be looking for someplace to put their current SF employees.