"Regarding the Question of the day, a 5-day public auction is planned [for the Stadust], starting November 17. Catalogs and brochures will be availble shortly after the property closes November 1. The sale is being managed by Great American Auction Co."

And, as promised, here is that confirmation:

Vist www.greatamerican.com under "current auctions," 2nd. page, and you'll find the Stardust auction listed.