Lite OT men någon som vet hur det är med rökning inne på pubarna på Irland, och i Dublin då förstås? Har så dålig koll på sånt. Är det tillåtet eller förbjudet?