#Gators warming up about 15 minutes from tip.