I believe you're correct on the official name. I would make a case that most people thought of them as Space Marines though.
Alien came out in 1979. Aliens in 1986. I would say it was in common usage.
I believe you're correct on the official name. I would make a case that most people thought of them as Space Marines though.
Alien came out in 1979. Aliens in 1986. I would say it was in common usage.