Lanai Leakage

All of the heavy rain lately has caused a leak on my lanai. Roofers are fixing it as it comes from the skylight on the outside, luckily, that means I am not responsible..and the association is. I hope they do not have cheap insurance, as they are going to be fixing my lanai ceiling as well!