It would be ungrateful to complain after earning enough in stock options and RSU's to retire early.

(It sounds like the union got a great deal for these workers, though.)