The majority of Trump voters go DeSantis if Trump doesnt run. Pence is the Jeb wing of the party, thus the 9% makes sense.
Almost every Trump supporter I have met has said they would vote for DeSantis if Trump was not on the ticket. DeSantis would certainly have my vote.