A man in a red jacket is in a dining hall.