Lexington 71XX1

[Dukhat]

That's a new, still very messy alternative. If we disregard Lexington 30405, then a "quite some time" pre-TNG Lexington probably ought to be 61832. Pushing 7XXXX registries too far back causes more issues.

I was just going by your point about being able to see the Prometheus's registry on-screen despite it being used as the Lexington. However, I'm content to have Okuda's 61832 registry as the official one.