Grab a bite in any one of the twelve Residential College dining halls.