The Officials radio channel said they are not trying to dry the track. They are simply trying to get rid of puddles. Looks like the rain tires are coming, boys!
EDIT: And now confirmed… announcement to teams made. As soon as pit road is “dried”, they will go to the damp tire.