On the other hand, if the GOP went with desantis or someone else, a number of the die hards might not vote Republican at all. It’s hard to say how it’ll all shake out.
EDIT: Oh, I see you mentioned him running third party. Yeah, that might be the best case scenario for Democrats.