Looking for any suggestions or ideas for my time in Dublin. Will there be any holiday events? I'll be in town the 12th and me 13th of December. It's not my first time to Dublin but it is my companion's first time. Any advice is appreciated. Thank you.