Disclaimer: I know how ludicrously expensive it gets in the school holidays and I sympathise 100% with parents of school-aged children on that score (and I'm not looking forward to DD reaching school-age and having that to deal with!)
......but I wouldn't dream of taking DD out of school just for a holiday, I didn't realise it was so common - there were literally hundreds of school kids there, everywhere you looked, and all ages all the way up to teens.
Please feel free to broaden my mind on this subject!