The pinball museum is great and I am not even a pinball lover. But no, it does not fit the criteria for the arcade map though so I won't be adding it.
Although I now have more than 400 arcades on the map I am still specifically looking for arcades in Germany. Are there any (b)arcades around Hamburg and Berlin by any chance?