A group of students drummed happily in the lobby.