See bolded. If anything, he might have took Perez out too soon today. caveats: I didn't see the game, and according to the article Perez had a rough go in the 4th and 5th, but it looks like the 6th went well enough, and the bottom of the Mets order was due up in the 7th. Day to day, that's probably the toughest decision a manager has to make. Not always obviously, but day in, day out, is when to give your starter one more batter or one more inning. In general I lean towards "leave 'em in, let 'em work out of it" with the starter, myself. Though with limited catcher visits nowadays maybe that idea should change.