how much does a new pinball machine cost