State is country, so Dublin would be quite different yes (though still unlikely to be too many points off). 40,000 was my figure, but the population isn't that

State is country, so Dublin would be quite different yes (though still unlikely to be too many points off). 40,000 was my figure, but the population isn't that high; 40,000 is a lot more than 3%—back of a napkin math would put it closer to the 12% gross mark, but I'm pretty sure there are real figures available as that figure came from AIRO who analyse/republish CSO[0] data [0] https://cso.ie/ https://cso.ie/