Off to Dublin for the first time in October half term for four days with DS1 11, and DS2 9. Any hints, tips and ideas for what to do and see when we're there much appreciated. Thanks.