Hi We’re visiting Florida from 25th Oct to 3rd of November. Can anyone tell me if local children will be in school over this period or not? I’ve tried to look online but it’s not clear. Just wondering how busy tourist attractions will be! Thanks!