Bad take. The Mets are actually right on this one. Ramos is hitting [does not check stats whatsoever] better than Nido and Rivera combined, and there’s no way you take him out of the lineup just to placate one pitcher. Yes, there’s a distinct difference in results when Thor pitches to Nido/Rivera than to Ramos. You…