The pinball machine of the group is currently located in room 1114. It was originally used as a demonstrator for real-time systems.
In 2006 there was the project "Flipper auf Autopilot".
There is some information available at http://www.ipdb.org/machine.cgi?id=947
Further documentation including a manual and schematics are available here (access granted on request).