"Tie fighter" and "destroyer" models are modified
versions of tieftr.wrl and station.3ds from
http://www.3dcafe.com
(from free models), the rest of VRMLs made by me by hand
or using Blender
(and processed by some Emacs macros).