I am hosting my friend's kids while they are away on a weekend trip and the Son LOVES to play pinball. My wife is currently cleaning the house, but wants to sanitize the pinball machines. What do you guys suggest? I am concerned about using Clorox wipes or Alcohol wipes. I have Mid 90s games and some Late 2010's. Thanks for your help.