Boyd Gaming retains ownership of the name 'Stardust'