Did they give him a quit or be fired choice? If fired, wouldn't the union be obligated to help him get his job back?