I saw him outside and asked about it. He verified that it was, indeed, a theremin: an infrared one, at that. I didn't think to ask if that was a vocoder on his microphone. Dangit.
Paul Schwarzkopf of the Milwaukee Riverkeeper performed as well (see below). He was the guy with the glowing red eyes in the background, not the guy sweating under the tinfoil hat.