I checked the pinball subreddit incase it got reposed there (it wasn't), but the general consensus is that there aren't any production anime machine at all: https://www.reddit.com/r/pinball/comments/1i9enia/any_anime_pinball_machines/
Maybe it was made custom for some reason?
This is a bit off-topic, but interestingly despite folks here talking about there not being any anime/anime-adjacent pinball machines (even tho we know Ito's machine did exist in some form), Stern announced an upcoming Pokemon machine today: https://pokemon.sternpinball.com/landing-page/pokemon
