Hi - not really a holiday but has anyone got any suggestions for things to do on a day trip to Dublin with teenagers? (13 and 15) thanks 🇮🇪