Does anyone know what the machine that cuts the playfields for the pinball is called?. Do they ever come up for sale. Over the years visiting factories I have seen them and they are quite the thing. It would be fun to restore one and learn to use it. Thanks for any help-Jerry