Baby Pac-Man I Pinball Flipper

Ist das ein Flipper oder nicht? Danke an den Oldie Salon aus Enschede, dass ich mit der Kamera vorbei kommen konnte. [QUICK GUIDE #175]