I think it wouldn't hurt to use actual stars and such in these games, if only to give people a sense of our astral "neighborhood".
I don't know if it would make for good gameplay though.
I don't know if it would make for good gameplay though.
However, I felt that using their astronomical names/numbers would be unrealistic--if these stars ever ended up being colonized, they would be given colloquial names, so I made up my own names for most of them.