Will the game go to extra innings?: Miami Marlins vs. Colorado Rockies

In the upcoming MLB game between the Miami Marlins and Colorado Rockies, scheduled for July 1 at 8:40 PM ET: This market will resolve to "Yes" if the game goes to extra innings. This market will resolve to "No" if the game is completed without going to extra innings. For the purposes of this market, a game goes to extra innings if play begins in any inning after the scheduled regulation innings for that game, such as the 10th inning in a standard 9-inning MLB 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, this market will resolve 50-50. If the game ends in a tie before extra innings are played, this market will resolve 50-50. To know when a postponed game will be played, please check the home team's schedule on MLB.com for the listed team and look for the game described as a makeup game. 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.