Quoted from Classic_Stern:Yea 1 is fine.
Your collection covers a different era than most of mine but I have a lot of respect for what was going on in the 80s when pinball machines could stand alone without having to be attached to a licensed theme. Some of those games are real ass kickers too.
I think out of my 30 or so I'm down to one licensed theme in Dirty Harry, two if you include Dodge City (you can see the Gunsmoke reference on it) but besides that the makers of these games gave them all their own personality that won't fade like a movie or a rock star.