The Mets took a 4-0 lead against the Marlins last night and then promptly lost 11-4, not that anyone at this point is counting. The biggest news of the night was Jose Reyes leaving with an “aggravated oblique,” and he’ll sit out a few days, maybe a week, maybe even longer, considering there’s obviously no reason to push him to come back. Reyes’s injury led to the larger, depressing question: Should the Mets trade him this off-season? That might seem crazy — the team always looks its scariest when Reyes is on — but Reyes hasn’t been right for a couple of seasons now, he’s already 27 years old, and his contract is manageable and reasonable. The Mets might never get a better deal than they would this summer. Still: This is Jose Reyes, and it’s hard to find a starting shortstop, particularly one who reaches the occasional heights of Reyes. Mostly: Remember how recently it was that Reyes and David Wright were the impossibly young, impossibly talented, limitless future? The present and past got here awfully fast.