A basketball player, following the cheerful music, happily ran to high-five the players outside.