I just wondered. Usually, after the first 7 games and then always after 9 games, they change balls. But what happens if the rain comes in the middle of a match and they have to warm up again with the balls afterwards?