I guess the question is he leaving the Senate or just his cushy job as Majority Leader.
(And I endorse the B. option)