I don't see how that's relevant at all. Google gave them the option of not being indexed. They decided they would rather be indexed by Google than not. The complaint that TripAdvisor doesn't get precise, fine-grained control over what Google does with its index seems like a fairly different issue.