A friend who works there reported that there's currently no theremin. It seemed to have been someone's personal theremin, and they took it with them when they left.

However, it sparked an interest in having a theremin - so perhaps it'll make a return!