7-Eleven is a dining establishment located in Davis.