The answer is “yes”.
As I’ve said, he has to be defeated in 2026, assuming he runs. Conservatives in KY should vote for the Democrat. A primary challenge will almost certainly fail. I hope some high profile conservatives endorse the Democrat. Maybe talk radio hosts like Mark Levin would do it.
He needs to be defeated in 2023 with the election of a new Majority Leaders by the Senate.