I can vote with the two I own-
Not going to argue game play and gimmicks and features. To me these represent very early examples and both hit it out of the park on the art/theme integration.
I like playing both- I dont worry much about depth. A pinball game should be fast, fun and then game over. Not a fan of 20+ minute games and these fit that to a T.