DISA is a gas station with an associated cafeteria service.