A group of people wearing horned hats were ready to play instruments and chatting happily.