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?