Yes, he should have gone in and told them to dump it all down the sink (or he could have "confiscated" the beer himself ) rather than immediately call the police. I'm guessing it was also the campus PD rather than the GFPD who were called in. The campus PD have nothing to do but give out minors (and NOBODY is given a warning... ever), the city police are much more lenient.