Hello, we have a number of inset days w/c 20th July and im wondering if that would be a good time to take the kids to a theme park before it gets bonkers busy for summer, so please tell me, when do your kids finish school for their summer holidays? Thanks!