I'm not saying Tony did not have plans to call it something else.
I have no idea what he planned to call it.
This picture has to be pre 1955 when he died. The Stardust opened in 58.