As your 1st game you have some things to think about. Has this game you have played in the last few years? That old memory has a way of clouding how good it is/or was then.
(( Check forum for threads on the subject of your / my 1st pinball. Lots of great info there read through them. ))
For the thread i will assume you did your home work. All these games you played in the last few years and know exactly what you getting as game play. You have a buddy or local repair person to help if the game is shipped and has a few issues when arrived that can fix it. -> If none of the above is true you going to not enjoy this 1st game. <- New and old game do break. I don't want to be the rain on the idea but it happens just know this.
As for the list of games I am not going to up or down titles you choose. Just because there old doesn't mean their bad. Their yours not mine or others remember that. Unless there are paying for it. Don't let the Pitch fork crowd make you buy a game just because they say so.
The 1st 3 pins on your list are newer games so not that old. So finding a working game in fair to nice shape will not be to hard. As to the other 3 game are Old games 25 plus years old these have been down the road a few times and may not have been the best care and or more subject to issues because of this. With the right care and repairs are done the older games can be as good as the new if not better. Many of the older games you can get new ramps and plastics and other parts so don't let that scare you away.