Oh wow, I also played with this one in what might have been a COMDEX, in the 90s.

I remember the game was a commercially available shooter though, but the machine was exactly the same, with the blue highlights.