Colorado Rockies vs. Milwaukee Brewers: O/U 9.5

In the upcoming MLB game between the Colorado Rockies and Milwaukee Brewers, scheduled for July 25 at 7:10PM ET: This market will resolve to "Colorado Rockies" if the Colorado Rockies win the game. This market will resolve to "Milwaukee Brewers" if the Milwaukee Brewers win the game. If the game is postponed, this market will remain open until the game has been completed. If the game is canceled entirely, with no make-up game, or ends in a tie, this market will resolve 50-50. The primary resolution source for this market is the official final statistics of the event as recognized by the governing body or event organizers. However, if the governing body or event organizers have not published final match statistics within 24 hours after the event's conclusion, a consensus of credible reporting may be used instead.