He’d better retire soon for there to be time to get a replacement. It would be a good move. He’s 70, and it’s time. Gives us a younger replacement, who will sit for 25 - 30 years. And.....it’s a great campaign issue, played out right before the election, esp if Trump picks a woman.
Typically retirements are announced at the end of the term so if it’s going to happen we should know in the next few days