Want to go on family holiday somewhere hot so the kids can go swimming - anyone been in Oct half term before? Or would I be better off going to Tenerife? Want hot weather and child friendly :-)