Well, that wasn't meant to happen... Dolphins lost by 7, and the Marlins lost by 10. The Dolphins got taken to overtime, and I've read somewhere that 80% of the time the team that forces OT wins the game.
Neither result helps our ladder position, at the risk of stating the obvious, but finals are just down the road. One more home game to go, and we'll see where it all washes up.