Is a dining hall on a college campus considered one of the five categories? How does being a public dining hall impact credit compliance (compared to private dining hall i.e. only for residents)?