Pedro Martinez, whose lifetime pitching record of 219-100 puts him at No. 10 on the all-time winning percentage list, ... It is too early to ascertain why the club’s roof collapsed, ...