Tentatively planning a trip to Dublin for six days in mid November. Because I have an inflammatory nerve disorder, the only exercise I can do besides walking is swimming. I'm wondering if anyone knows of any public pools for lap swimming in Dublin city center. It would really help me in deciding on hotels. Thank you!