Pedro Martinez was 7-6 with an ERA of 3.07 and 134 strikeouts in 23 appearances versus the Florida Marlins in his career.