Hi, I will be driving to Dublin just before Christmas to fetch DD who is flying in for the holidays. I will be bringing DS (age 12) with me. We will get there around 2.30pm and the flight only lands at 7.30. I have never been to Dublin, any ideas of something we can do for those few hours? (I have no idea about traffic there, how long it takes to get around, what parking is like etc)