When Do CEOs Bargain for Arbitration?