LV casino Key Largo closes tonight--forgotten trivia

Left out of the local LV media (probably due to all the newcomers) is an interesting fact. In the late 80s a new Strip hotel was being built and the owner held a contest as to what to name it. The problem was that the winning name was already being used by another casino (later renamed Key Largo). What was the name which was bought from the owners of Key Largo for $250,000? The Mirage!