Roughly,based on other casino closures,when do the auctions or sales of machines,signs,door plates ...whatever...go on sale? Anyone?