I guess we should go with just Dinopolis. Having two names sounds good for us because we know the plot but it might just be confusing for first-time players. It's not that confusing in itself, but there's a lot of story and backstory contents in the Reptite chapters as is.
Perhaps the humans call it the earthly tower? Since Terra = Earth, it might be a neat reference, but most likely no one would get it.
