DeVos Hall is an entertainment facility, so the determining factor is it's seating capacity.
What the law does allow is for CPL holders to openly carry in all of those places.
Michigan law also has an exception for those who possess an 'enhanced' CPLs, which are exclusively for former law enforcement. Michigan almost passed a law allowing anyone to apply for an enhanced CPL after taking additional training, but just as it was about to be voted on Sandy Hook happened, and the bill died.
I thought the ban on carrying, open of ccw, on K-12 property was federali law. In Michigan you can open carry in a high school?