Marin works the diner for a few hours, until about noon.