Was wondering if there is anyone who has experienced Holiday with older kids? We have a 5, 10 and 15 year old and we are cruising at Christmas. While I am not worried at all about the 5 and 10 year old having a great time- I'm a bit nervous as to whether my 15 year old will be bored to tears. Any comments and thoughts are welcome- thanks!