Had to replace my cover and ordered one that came with some of these little grommets said to help draining. Curious if anyone used them? Is it for rain water mainly or for when water floods over the top? Looking at it, not sure if it's even worth putting on.