I have been having trouble with my roof possibly from rusted Hall sensors from water leakage. Before I try and fix I would like to stop water getting there. Are these drain holes or are they missing a grommet?