Buying a used pinball machine? 7 tips on what to look for