In a radio telescope, when it rains, what do they do about the water that collects in it? Are there built-in drainage channels, do they turn the dish on its side to allow it to drain out, or do they have guys go up there with yardbrooms and sweep it all out? Or does it not matter if there's water in it?