Reds game 7/20 I have a bet on the reds team total. Does anyone know if this game is gonna go 9?