I just texted Team Trump. I congratulated them on pulling out and the response was “Thanks”
Now, sounds to me like a done deal.
Great.
I never had a doubt. ;-)