I'm not sure it's even a hypothetical future situation. I don't know if a majority of Googlers were against it, but the way Google handled Andy Rubin wasn't exactly a popular move internally.