Our only chance is that the Marlins put in Jorge Julio, or did they trade him? I think they traded him.
Gone to the Rockies. where, with a real pitching coach, his ERA is 3.89.
Marlins still have Benitez, but hopefully (from a Florida viewpoint) he's still injured. He's not on DL, though.