We are looking for some different things to do this coming holiday - we have 2 boys aged 13 and 9 and in our last 6 trips have done most of the things available (even a hurricane !!!) but would be interested in ideas for different things to do this time and would appreaciate any recommendations.