Should the Mets hit the pitcher eighth?