halloween plans for any other music fans

I just found out that I'm going to be in miami for halloween this year, and I'm a huge music fan, so just sharing this in case you haven't seen it yet! there's an ensemble group called Nu Deco performing halloween classics at the citadel. they also have other themed shows, which seems really cool. has anyone been to one of their shows before?