Just got through watching it -- I think that might have been one of the only times I've ever seen a Virus TI on stage on that show

The KB player on the left (not sure his name, he replaced Alan Wilder) had one on top and I couldn't tell what below it.
I couldn't tell what Fletch was playing, the two boards looked like they might have said Alesis on them? Maybe a midi controller driving soft synths? I was watching in HD on a 55" TV and still couldn't make out the letters (he might have obscured it on purpose). Anyone know what they were?