Just curious... I'm really enjoying the new Williams tables in Zen Pinball 2 on my iMac but I've noticed that the 'Operator Menu' option is greyed out on those tables.

Is this by design? Or is there something I'm missing?