Thank you, I see they've updated DineSafe now. I guess the data doesn't get entered until end of day.
Unfortunately, this is what I feared. Last summer I passed through the sculpture garden just behind Metro at night, and it was absolutely teeming with rats. So many I thought the ground was moving. They even closed that garden briefly last fall for pest control. So it seems the surrounding area has some infestation problems, and maybe this spread into the grocery store and they dropped the ball on their preventions. It's a shame, but I will still probably return when (if?) they reopen because it is a very good store otherwise, and I assume they will learn from this.