According to SNY's Kevin Burkhardt, Jose Reyes has a tear in his right hamstring tendon. The Mets will wait till Friday to make a decision on the matter, but Burkhardt guesses Reyes will be sidelined till the All-Star break.So what are the Mets' options? Alex Cora is currently holding the line at short. Should they pursue someone like, say, Bobby Crosby? Mark Grudzielanek is still out there as a free agent, but he hasn't played shortstop in a while. What do you think?