 a solution between now and, say, July 28th, Eddie Rosario is a decent option. Look, the batting average was not good in D.C. I get that. He did hit for some power, though, Kevin. And I like him kind of platooning with Adam Duvall. I think you're obviously going to sacrifice some things defensively if you put him in the lineup.