Cafeteria known as Marvin Cafe, offering coffee and more.