Sounds like he fought it by finding a better place to work. You can only fight so much. Say he wins, how much are his managers, who made the decision not to give him a bonus, going to like that challenge to their decision? How would that impact his review the following year? Best to cut your losses and find a better…