Thanks for the replies. I see he was stepping down anyway.
Well, perhaps a Reagan Republican can be elected in his place.