Considering the fact that there were two Death Stars in the original write-up of ROTJ (thus giving us three altogether), I'd say we were lucky with what we got in the final version.
Considering the fact that there were two Death Stars in the original write-up of ROTJ (thus giving us three altogether), I'd say we were lucky with what we got in the final version.