elderban

A friend and I are having a problem figuring out which is the biggest casino in the US. I say Foxwoods in CT, he says Winstar in OK. Who is right? Every site I have looked at says Foxwoods is the biggest, but according to Winstar's website, they have over 500,000 square feet of space, yet they are listed as the 5th biggest in the US and 3rd in the world?? I'm confused.