> Amusingly, Google's employment contract, which specifies binding arbitration for employee-employer disputes

Sorry, does this also apply to ex-employees? Or did they go to arbitration _before_ he quit, implying that they had an inkling of the theft even then?...