07-03-2020, 02:33 PM
I remember some time ago we did a count of how many coffee places there were in DTK (it was something like two dozen, iirc). We should do a count of how many "lunch places" there are in DTK - I'm guessing that there would be more than 50, but fewer than 100. Beyond that, no idea.