Another day, another tie in Florida. You know, this makes me think our pen is going to be more critical than usual, if we have this many close games. Certainly argues for 12 or 13 pitchers on the roster.