From a reader who was there: “the loudest boos yesterday were reserved for the introduction of Mets pitcher Pedro Martinez.”