I've never played either one of those titles but I do love a good pinball machine. We never see them in Thailand probably for a lot of reasons. The main one being that they are made in USA for the most part and are quite delicate, lots of pieces inside and i would imagine there isn't a single pinball machine technician in this country. I know a guy who is a tech and he showed me what goes on below the surface on these machines and my goodness they are complicated.