@WarnerCrocker Well, they won't need to. All they have to do is await the outcome of the GOP circular firing squad. No telling how that may fall. But there will be more 'retirements' if Johnson is ousted. At that point it will be anybody's game given the thin margin.