Steps down as majority leader or quit the senate?

The chance of the latter close to zero with Kentucky's Democratic governor likely to replace him with a Democrat.

Can we have a definition of "top Republican"?

@Ramble Ranking committee members, whips, speaker, that sort of thing. If it's unclear whether the call comes from someone of sufficient rank we can work it out in here. I won't bet since it's fuzzy.