We also have an endearing trait in which no two big lecture halls have the same room number, so 1004, 1006, 1179, 1560, 1009 are all the largest halls in their respective buildings (and that's an incomplete list too)