I mean he visited in summer and we got eliminated from his top 5 right after that visit, I feel like he been a silent commit to Texas for a while and miami tried to get one last effort in while spending time in this vacation destination, then Texas found out and made him go public