Is there such a thing as a 15-inning rainout?