"By 1 a.m., the casino and other public areas were packed with an estimated 15,000 people"...Hmmmm, when was the last time a hard count was done on the number of chippers out there?!