Jimmy will be a replacement in the event that somebody goes...
Jimmy will be a replacement in the event that somebody goes down, be it Jeter or be it Rodriguez.
Jimmy will be a replacement in the event that somebody goes down, be it Jeter or be it Rodriguez.