You can use Quake 2 if you are willing to go with lower poly count machine models. I did a whole bunch of arcade games (some with animated screens) in a quake 2 level a while back. I remember having Tempest, Star Wars, and Star Castle for sure, probably others too (I am sure I have those files somewhere around here).