I think you are right, also.
After DeSantis loses, next time he runs for POTUS he will have to face Cruz also. Post-Trump is a different world. But for now? Trump owns the party (the voters that is). DeSantis hurts himself by challenging what is obvious.
All the wannabee Rhinos running should drop out and support PT.