There's a rain delay (for the third time) in the Marlins/Brewers game in which I have the over 8.5, tied going into the top of the 11th at 2-2. Assuming this game is called, is this a push or a loss? I know most books state that for totals the game must go 8.5 innings for total bets to be graded. What would they do in this case? Anyone know?