Do you know what the name of the casino was before Harrah's took over? And were the chips given out at Harrah's because they were left over? Or have they never graced the Harrah's floors ever?