He should run, if only to be prepared and able to jump into the race if the Democrats somehow get something to disquqlify Trump.
I suspect DiSantis is part of the Bush, Cheney, Paul Ryan wing of the party...